diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-03-22 16:36:16 +0000 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-03-22 16:36:16 +0000 |
| commit | 725faca5ee670f80359321adc112408880e9c073 (patch) | |
| tree | 12ec19702bf56a1a2daff7ad89d76ce74ad14f95 /html-test/ref/GADTRecords.html | |
| parent | 77af42d7c5752214b1d5a762f3fec77910d583aa (diff) | |
Drop needless --split-objs which slows us down.
Involves tiny cleanup of all the dynflag bindings. Fixes #292.
Diffstat (limited to 'html-test/ref/GADTRecords.html')
0 files changed, 0 insertions, 0 deletions