diff options
| author | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-08-18 21:07:06 +0200 |
|---|---|---|
| committer | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-08-22 23:40:27 +0200 |
| commit | 8efa6cbc72bbdad8dceb06896f8c1e7a90ab6c6a (patch) | |
| tree | e488e7de88b3b37c77f225e859e84321e70e3e0a /html-test/src/GADTRecords.hs | |
| parent | bb7d45db2b79f310ab8c2601b47399d5ac69e085 (diff) | |
Adapt HTML test runner to use new ignoring functionality.
Diffstat (limited to 'html-test/src/GADTRecords.hs')
0 files changed, 0 insertions, 0 deletions