diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-12-26 11:54:22 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-02-02 17:19:37 -0500 |
| commit | dbbdabfd3842f70c78d4c64e10f75f47fe5c0f5d (patch) | |
| tree | 98ce2eab7cb587463281683918e6353d3868ea8c /html-test/ref/GADTRecords.html | |
| parent | 7f1987b35eb7bb15ca2fd93321440af519dd8cd5 (diff) | |
Kill remaining static flags
Diffstat (limited to 'html-test/ref/GADTRecords.html')
0 files changed, 0 insertions, 0 deletions