leetuan023 commited on
Commit
c15923b
·
verified ·
1 Parent(s): 78d2e26

Delete lint.sh

Browse files
Files changed (1) hide show
  1. lint.sh +0 -2
lint.sh DELETED
@@ -1,2 +0,0 @@
1
- find src -name '*.py' | xargs pylint
2
- find src -name '*.py' | xargs mypy