diff options
author | Phil de Joux <philderbeast@gmail.com> | 2022-07-16 16:54:26 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-16 20:54:26 +0000 |
commit | 06b1f629a9210f9d92dea1cc6111087181c688ff (patch) | |
tree | 58a2954b1c30b1f00cf30d9685fec71a55f2fbc4 /doc/ghc.mk | |
parent | 677884577dee1cb51772d9bc21cc69f11f48af34 (diff) |
Bump hlint version to 3.4.1, the version with counts. (#1503)
Redo the counts available with the --default option.
Diffstat (limited to 'doc/ghc.mk')
0 files changed, 0 insertions, 0 deletions