diff options
| author | RyanGlScott <ryan.gl.scott@gmail.com> | 2016-02-11 15:42:42 -0500 |
|---|---|---|
| committer | RyanGlScott <ryan.gl.scott@gmail.com> | 2016-02-11 15:42:42 -0500 |
| commit | 2da130a8db8f995c119b544fad807533236cf088 (patch) | |
| tree | cccdbcb818050a0fbc26bf96c1c4cbde74c64d20 /html-test/ref/GADTRecords.html | |
| parent | 57a5dcfd3d2a7e01229a2c3a79b1f99cd95d5de1 (diff) | |
Collapse type/data family instances by default
Diffstat (limited to 'html-test/ref/GADTRecords.html')
0 files changed, 0 insertions, 0 deletions