diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2014-12-14 10:17:06 +0100 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2014-12-14 10:17:06 +0100 |
| commit | 8cd72a05e857388e3ca184fbef3f04d3bffbc5b4 (patch) | |
| tree | 097c913a2171c245f240afe718f64e43ff972f93 /Makefile | |
| parent | b4b82e84099196ff22762e90922aea48671781a2 (diff) | |
Treat GHC 7.10 the same as GHC 7.9
...since the current GHC 7.9 is going to become GHC 7.10 real-soon-now anyway
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions