diff options
author | Jack Henahan <jhenahan@me.com> | 2018-04-03 07:28:12 -0400 |
---|---|---|
committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-04-03 13:28:12 +0200 |
commit | 59812a09eb69cbf12407206381f4c214987b1efd (patch) | |
tree | 761cb6680b9e9503639d601aad7353d0ca4ab08f /html-test/src/TypeFamilies2.hs | |
parent | 37e93411ef8ee673eebd6c56b8db3f2e851572c9 (diff) |
Clear search string on hide for #781 (#789)
Diffstat (limited to 'html-test/src/TypeFamilies2.hs')
0 files changed, 0 insertions, 0 deletions