diff options
author | 2015-09-02 17:58:41 +0000 | |
---|---|---|
committer | 2015-09-02 17:58:41 +0000 | |
commit | ee06860a730966028a5616fc35b286299bb0beed (patch) | |
tree | 1aa132138828b7f2fc01e7c96a7c60eb09978caa /.ghci | |
parent | fcf17b0a0d60790f62df22f70087ed5fcb480943 (diff) |
Added a comment: Compatibility with recent version of Git for Windows
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions