Skip to content

Update command line help to reflect check->lint terminology change#147

Merged
per1234 merged 1 commit intomainfrom
per1234/improve-output-messages
Jan 11, 2021
Merged

Update command line help to reflect check->lint terminology change#147
per1234 merged 1 commit intomainfrom
per1234/improve-output-messages

Commits

Commits on Jan 11, 2021