diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-02-18 00:00:07 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-02-18 00:05:56 +0100 |
| commit | 43532d74c2c4374260b8176b88026de571d5a344 (patch) | |
| tree | 85c4474ae7a92e7f3b96dd192b8095e368e182ba /html-test/ref/mini_GADTRecords.html | |
| parent | 6a6029f1fc7b2cfeea8e231c8806d293d6644004 (diff) | |
Xhtml.Decl: Various cleanups
Diffstat (limited to 'html-test/ref/mini_GADTRecords.html')
0 files changed, 0 insertions, 0 deletions