diff options
author | Ben Gamari <ben@smart-cactus.org> | 2015-11-11 11:35:51 +0100 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2015-11-11 11:35:51 +0100 |
commit | 83a9e9d2c7f0debec9d56e8b3b7cc8a8eb73361e (patch) | |
tree | 2dc923ba45fbe0abd549b525f1745445af667e7c /haddock-api/resources/html/Ocean.std-theme/synopsis.png | |
parent | 52c963e0b19783c4ca59cd0e8cfe1366dbfa1624 (diff) |
Eliminate support for deprecated GADT syntax
Follows from GHC D1460.
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/synopsis.png')
0 files changed, 0 insertions, 0 deletions