diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-07-24 16:23:36 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-07-24 16:23:36 -0400 |
| commit | 2b414feaf2d20452794d0cdd608c6dd91feb1ec1 (patch) | |
| tree | 16f4caafc5158227eda6b36462b93a9c3f35173f /Logs/UUIDBased.hs | |
| parent | 35b31b00e4efbf84bcfb814acc477bbb89b50107 (diff) | |
implement chunk logs
Slightly tricky as they are not normal UUIDBased logs, but are instead maps
from (uuid, chunksize) to chunkcount.
This commit was sponsored by Frank Thomas.
Diffstat (limited to 'Logs/UUIDBased.hs')
| -rw-r--r-- | Logs/UUIDBased.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Logs/UUIDBased.hs b/Logs/UUIDBased.hs index b403b6253..fe1c9e012 100644 --- a/Logs/UUIDBased.hs +++ b/Logs/UUIDBased.hs @@ -1,6 +1,6 @@ {- git-annex uuid-based logs - - - This is used to store information about a UUID in a way that can + - This is used to store information about UUIDs in a way that can - be union merged. - - A line of the log will look like: "UUID[ INFO[ timestamp=foo]]" |