diff options
author | 2016-10-28 20:40:54 +0000 | |
---|---|---|
committer | 2016-10-28 20:40:54 +0000 | |
commit | 1bc085e3a7233fd9e333fdae59eb8c12ea07fe6f (patch) | |
tree | 9fdaa4852710221a5dc9edf3c7a297e04659000e /.ghci | |
parent | 950115b67e22665c3ddf8b0d58f1bb8313335227 (diff) |
Added a comment: Like it's written: annex only
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions