diff options
author | Alberto Ruiz <aruiz@um.es> | 2015-01-14 08:48:50 +0100 |
---|---|---|
committer | Alberto Ruiz <aruiz@um.es> | 2015-01-14 08:48:50 +0100 |
commit | a194062a082230ca00cc4991407cc4c926d4b810 (patch) | |
tree | 963017c136b44a1cc1fe98f0a317607ef29e6b51 /packages/special/LICENSE | |
parent | fd4ea99b3fdbd3451b3ece61fd554e6f01801e29 (diff) | |
parent | 480d5327d9ab8134eea1173baa1c40e689bcd056 (diff) |
Merge pull request #107 from bgamari/master
GHC 7.10 fixes
Diffstat (limited to 'packages/special/LICENSE')
0 files changed, 0 insertions, 0 deletions