diff options
author | 2016-01-26 19:12:33 -0400 | |
---|---|---|
committer | 2016-01-26 19:12:33 -0400 | |
commit | f5d0d8770b4dc7f60cd75647ea353f376ee8852c (patch) | |
tree | 98811f3f578c5eeca9b49fbe76c89a666aa6dc84 /Git/Repair.hs | |
parent | c14d637df1e7880904c4f28aad70d179d347aed4 (diff) |
fix warning with ghc 7.10
Diffstat (limited to 'Git/Repair.hs')
0 files changed, 0 insertions, 0 deletions