From 5e20e7be2a1801aad3789d477923a741eb2390bd Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Sat, 11 Feb 2017 12:39:25 -0800 Subject: [PATCH] Remove timestamp from generated files. It forces a new check-in when nothing else has changed. --- src/etc/ucd-converter.scm | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/etc/ucd-converter.scm b/src/etc/ucd-converter.scm index 2de027ea1..00676a529 100644 --- a/src/etc/ucd-converter.scm +++ b/src/etc/ucd-converter.scm @@ -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)) -- 2.25.1