putty-defaults: Prevent changing of the window title.
[profile] / bash_logout
index 766d852..9e67a16 100644 (file)
@@ -1,6 +1,4 @@
 #
-# $Id$
-#
 # Bash logout things
 #