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 /haddock-api/resources/html/Ocean.theme/plus.gif | |
| parent | 1a2df0b6932b8d47a3cdaf022d631913904291be (diff) | |
Follow hlint suggestion to remove redundant bang. (#1479)
Diffstat (limited to 'haddock-api/resources/html/Ocean.theme/plus.gif')
0 files changed, 0 insertions, 0 deletions