diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-05-12 10:04:27 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-05-12 10:04:58 +0200 |
| commit | 67fbe48b9e6830d231b19c3d72960d3e9e137ea0 (patch) | |
| tree | 3c3b125a18df5529a89575ccdfca8fe75b8678cf /doc/ghc.mk | |
| parent | 7b238d9c5be9b07aa2d10df323b5c7b8d1634dc8 (diff) | |
Revert "Version bump"
This bump was a bit premature.
This reverts commit 7b238d9c5be9b07aa2d10df323b5c7b8d1634dc8.
Diffstat (limited to 'doc/ghc.mk')
0 files changed, 0 insertions, 0 deletions