This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Reintroduce the lint targets in the linter script#12455

Merged

DMRobertson merged 3 commits intodevelopfrom dmr/lint-targets

Apr 14, 2022

+30-41

Commits on Apr 12, 2022

Reintroduce the lint targets in the linter script
David Robertson
committed
Recommend the linter script in contrib docs.
David Robertson
committed
Changelog
David Robertson
committed