diff options
author | 2017-08-17 17:53:24 +0000 | |
---|---|---|
committer | 2017-08-17 17:53:24 +0000 | |
commit | f28f87a0be5248ddb72ba1afa025a5d5a391c6d9 (patch) | |
tree | c997255ba4263c9223e246ec433e43de5e74c61d /Types/GitConfig.hs | |
parent | 8c87336d0001eb93d70da47066c7674965d9d20a (diff) |
Added a comment
Diffstat (limited to 'Types/GitConfig.hs')
0 files changed, 0 insertions, 0 deletions