1 files changed, 0 insertions, 7 deletions
diff --git a/config.sub b/config.sub
index 2ef2842..3ac426d 100755
--- a/config.sub
+++ b/config.sub
@@ -1566,10 +1566,3 @@ esac
 
 echo $basic_machine$os
 exit
-
-# Local variables:
-# eval: (add-hook 'write-file-hooks 'time-stamp)
-# time-stamp-start: "timestamp='"
-# time-stamp-format: "%:y-%02m-%02d"
-# time-stamp-end: "'"
-# End: