diff options
author | 2018-03-03 16:21:07 +0000 | |
---|---|---|
committer | 2018-03-03 16:21:07 +0000 | |
commit | 0aaf1785f52377b9391dc26021b77f389aa8cfcf (patch) | |
tree | fc619377e320a54cf865c5c5369f635b7c581cb8 /Common.hs | |
parent | 993591764a23dd6146615aa834e0478c713cf067 (diff) |
Added a comment: checked 6.20180112 and it's the same
Diffstat (limited to 'Common.hs')
0 files changed, 0 insertions, 0 deletions