diff options
| author | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2014-11-19 23:00:19 +0100 |
|---|---|---|
| committer | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2014-11-20 17:48:43 +0100 |
| commit | 19409126be62383bc64d79698b265ffaf96269a5 (patch) | |
| tree | 00182eb9b23717e4166f2410cebbc1b77ba6e9fb /html-test/src/GADTRecords.hs | |
| parent | bf80e2f594777c0c32fae092454bff0c13ae6181 (diff) | |
Follow changes from #9812
Diffstat (limited to 'html-test/src/GADTRecords.hs')
0 files changed, 0 insertions, 0 deletions