diff options
author | 2013-07-31 19:53:51 +0000 | |
---|---|---|
committer | 2013-07-31 19:53:51 +0000 | |
commit | 868b5f4ef82c7105cfc90d3d136180cbba4589a2 (patch) | |
tree | aff1fb0ec589f321b1998e1216756d5b52cd13b5 /Annex/UUID.hs | |
parent | f9a148afc8a24ffe37e690e9c664636b7a1772a0 (diff) |
Added a comment: Horns?
Diffstat (limited to 'Annex/UUID.hs')
0 files changed, 0 insertions, 0 deletions