summaryrefslogtreecommitdiff
path: root/tools/lint.py
AgeCommit message (Collapse)Author
2018-07-27Ignore any generated TypeScript filesKitson Kelly
2018-07-08Clean up tools/Ryan Dahl
- Factor out tools/util.py - Move js/*.py to tools. - Rewrite tools/format.sh in python. - Run lint first in travis.
2018-07-08Rewrite tools/lint.sh in python (#343)Hao Li