diff options
| author | RyanGlScott <ryan.gl.scott@gmail.com> | 2016-02-11 15:42:42 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-04-16 17:57:54 +0200 |
| commit | 035f2f18448d6f81a16d80e8b2ae8025616f8d41 (patch) | |
| tree | aca3aacabe4ab413cd5d1fe30c9ada96e56361fe /html-test/ref/mini_FunArgs.html | |
| parent | 7699b27c5766473709bc84bc69269a409dfad9a2 (diff) | |
Collapse type/data family instances by default
(cherry picked from commit 2da130a8db8f995c119b544fad807533236cf088)
Diffstat (limited to 'html-test/ref/mini_FunArgs.html')
0 files changed, 0 insertions, 0 deletions