diff options
| author | Phil de Joux <philderbeast@gmail.com> | 2022-05-03 07:34:04 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-03 13:34:04 +0200 |
| commit | bc0f2d6c1bfd331a9426fa9a92288444178267b1 (patch) | |
| tree | 56d0a57f65885a4811c49cde3169bd865df95e50 /haddock-api/resources/html/Ocean.theme/plus.gif | |
| parent | a7378415ecc24e9c212ecd320fe4a5b3658ecefe (diff) | |
Follow hlint, remove language pragmas in libs. (#1478)
Diffstat (limited to 'haddock-api/resources/html/Ocean.theme/plus.gif')
0 files changed, 0 insertions, 0 deletions