Added $Id$ tags.
[profile.git] / .profile.d / bash3.bashrc
index 19d7f1c..800bb26 100644 (file)
@@ -1,3 +1,4 @@
+# $Id$
 #export HISTCONTROL=ignoredups
 export HISTTIMEFORMAT='[%Y-%m-%d %H:%M:%S] '
 export HISTFILESIZE=3000