chore: add the linter to a separate Python script (#2500)

This commit is contained in:
David Leal
2023-07-05 15:01:58 -06:00
committed by GitHub
parent 32db99c1de
commit f4d1aa1706
3 changed files with 42 additions and 41 deletions

1
.gitignore vendored
View File

@@ -35,3 +35,4 @@ a.out
*.app
build/
git_diff.txt