Colours for PS2 and PS4.

[profile.git] / .profile.d / options.bashrc

diff --git a/.profile.d/options.bashrc b/.profile.d/options.bashrc
index 366cb84..8000115 100644 (file)
--- a/.profile.d/options.bashrc
+++ b/.profile.d/options.bashrc
@@ -1,5 +1,3 @@
-# $Id$
-#
 # Bash variables and options.
 # Some of these are (now) the default but listed for completeness.
 #