aboutsummaryrefslogtreecommitdiff
path: root/latex-test/src
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 /latex-test/src
parent52c963e0b19783c4ca59cd0e8cfe1366dbfa1624 (diff)
Eliminate support for deprecated GADT syntax
Follows from GHC D1460.
Diffstat (limited to 'latex-test/src')
0 files changed, 0 insertions, 0 deletions