diff options
author | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-08-02 02:33:50 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-08-14 21:00:21 -0400 |
commit | c8a01b83be52e45d3890db173ffe7b09ccd4f351 (patch) | |
tree | 9f867dc3efda66e1ce02885cc102d084cc0031aa /html-test/src/GADTRecords.hs | |
parent | 7cecbd969298d5aa576750864a69fa5f70f71c32 (diff) |
Adapt to #14060
Diffstat (limited to 'html-test/src/GADTRecords.hs')
0 files changed, 0 insertions, 0 deletions