etc/user-settings.sample
changeset 29145 b1c6f4563df7
parent 28914 f993cbffc42a
child 31310 b5365a9db718
--- a/etc/user-settings.sample	Sat Dec 20 11:39:34 2008 +0100
+++ b/etc/user-settings.sample	Sat Dec 20 11:55:34 2008 +0100
@@ -1,5 +1,4 @@
 # -*- shell-script -*-
-# $Id$
 #
 # Isabelle user settings sample -- for use in ~/.isabelle/etc/settings