diff options
author | Joey Hess <joey@kitenet.net> | 2011-11-11 13:42:31 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2011-11-11 13:42:31 -0400 |
commit | 826d5887b2c31c9dca1415997d7704d9442077b0 (patch) | |
tree | 30c08e9eedb8d4b850e073b50c54842e0accfb89 /Logs/UUIDBased.hs | |
parent | 637b5feb45013f69f3aacbafeb796de666d3faa3 (diff) |
Automatically fix up badly formatted uuid.log entries produced by 3.20111105, whenever the uuid.log is changed (ie, by init or describe).
Diffstat (limited to 'Logs/UUIDBased.hs')
-rw-r--r-- | Logs/UUIDBased.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Logs/UUIDBased.hs b/Logs/UUIDBased.hs index 42908ab1d..04b12887d 100644 --- a/Logs/UUIDBased.hs +++ b/Logs/UUIDBased.hs @@ -15,6 +15,7 @@ module Logs.UUIDBased ( Log, LogEntry(..), + TimeStamp(..), parseLog, showLog, changeLog, |