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 /resources/html/Ocean.std-theme | |
| 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 'resources/html/Ocean.std-theme')
0 files changed, 0 insertions, 0 deletions