diff options
author | Alberto Ruiz <aruiz@um.es> | 2014-01-30 00:17:35 -0800 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2014-01-30 00:17:35 -0800 |
commit | 9af4ee9011438dea9ad962cfee4a2adaf24b26d4 (patch) | |
tree | 499d7553539e9db417b77a35ec5c6588f8eb3537 /Setup.lhs | |
parent | 4382cadadfb4b9312c49fa5fe51537f60a7e2f54 (diff) | |
parent | 70c4b197cc7cea6bf6c162205bb439a9cb80a2ff (diff) |
Merge pull request #60 from aavogt/master
small changes for compatibility with newer (to-be released) ghcs
Diffstat (limited to 'Setup.lhs')
0 files changed, 0 insertions, 0 deletions