diff options
author | Xia Li-yao <Lysxia@users.noreply.github.com> | 2022-05-20 11:52:42 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-20 17:52:42 +0200 |
commit | 2c27d150f777f08165d3c8c60c8aa2a0fa164fdd (patch) | |
tree | b1dbc6c7f53278a444aa6d042594eeb13916729e /hoogle-test/src/Bug825 | |
parent | 283877f9089761415e6a3f10203f14b6202d6d9c (diff) |
Hide synopsis from search when hidden (#1486)
Fix #1451
Diffstat (limited to 'hoogle-test/src/Bug825')
0 files changed, 0 insertions, 0 deletions