1 files changed, 0 insertions, 9 deletions
diff --git a/compile b/compile
index 1b1d232..6bd93bd 100755
--- a/compile
+++ b/compile
@@ -131,12 +131,3 @@ fi
 
 rmdir "$lockdir"
 exit $ret
-
-# Local Variables:
-# mode: shell-script
-# sh-indentation: 2
-# eval: (add-hook 'write-file-hooks 'time-stamp)
-# time-stamp-start: "scriptversion="
-# time-stamp-format: "%:y-%02m-%02d.%02H"
-# time-stamp-end: "$"
-# End: