diff options
author | 2016-06-13 15:25:05 -0400 | |
---|---|---|
committer | 2016-06-13 15:25:05 -0400 | |
commit | 8b4ebe604b5a2315f84fbd6a8db64d3b9666c097 (patch) | |
tree | e81fc712484981b6661e233472033c48991d3f89 /Limit | |
parent | 704bcde3c8b07cafcc10f66572176dc8a9eacd90 (diff) |
fix build with old ghc
Diffstat (limited to 'Limit')
0 files changed, 0 insertions, 0 deletions