diff options
author | 2017-11-03 11:28:03 +0000 | |
---|---|---|
committer | 2017-11-03 11:28:03 +0000 | |
commit | c0af036cdc26a05d2b963bdc274b837f6b982f54 (patch) | |
tree | 66c7f49766ae2196afdce7c629102a244bbb9086 /Types.hs | |
parent | 8a5a871d8a069acbed9607b953d87f08f53ad789 (diff) |
Added a comment: Is it essential to clone from the server?
Diffstat (limited to 'Types.hs')
0 files changed, 0 insertions, 0 deletions