diff options
author | Phil de Joux <philderbeast@gmail.com> | 2022-05-03 07:15:46 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-03 13:15:46 +0200 |
commit | a7378415ecc24e9c212ecd320fe4a5b3658ecefe (patch) | |
tree | 8605d31666ba60e7a114f7d63d64f37489ead582 /hoogle-test/ref/Bug825 | |
parent | 1a2df0b6932b8d47a3cdaf022d631913904291be (diff) |
Follow hlint suggestion to remove redundant bang. (#1479)
Diffstat (limited to 'hoogle-test/ref/Bug825')
0 files changed, 0 insertions, 0 deletions