aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/resources/html/Ocean.std-theme/synopsis.png
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2015-11-11 11:35:51 +0100
committerBen Gamari <ben@smart-cactus.org>2015-11-11 11:35:51 +0100
commit83a9e9d2c7f0debec9d56e8b3b7cc8a8eb73361e (patch)
tree2dc923ba45fbe0abd549b525f1745445af667e7c /haddock-api/resources/html/Ocean.std-theme/synopsis.png
parent52c963e0b19783c4ca59cd0e8cfe1366dbfa1624 (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