Remove timestamp from generated files.
authorChris Hanson <org/chris-hanson/cph>
Sat, 11 Feb 2017 20:39:25 +0000 (12:39 -0800)
committerChris Hanson <org/chris-hanson/cph>
Sat, 11 Feb 2017 20:39:25 +0000 (12:39 -0800)
It forces a new check-in when nothing else has changed.

src/etc/ucd-converter.scm

index 2de027ea140abd9d1c763c5ac97850ea348e846c..00676a529d48331d0a906f38fc23327d863ed868 100644 (file)
@@ -181,9 +181,6 @@ USA.
   (newline port)
   (write-string ";;; Generated from " port)
   (write-string ucd-version port)
-  (write-string " UCD at " port)
-  (write-string (universal-time->local-iso8601-string (get-universal-time))
-                port)
   (newline port)
   (newline port))