etc/settings
changeset 29145 b1c6f4563df7
parent 29070 1b8b46d90112
child 29149 eae45c2a6811
--- a/etc/settings	Sat Dec 20 11:39:34 2008 +0100
+++ b/etc/settings	Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,4 @@
 # -*- shell-script -*- :mode=shellscript:
-# $Id$
 #
 # Isabelle settings -- site defaults.
 #