summaryrefslogtreecommitdiff
path: root/tools/lint.py
AgeCommit message (Expand)Author
2018-11-30Use pylint.Ryan Dahl
2018-10-19Add missing copyrights (#1024)ztplz
2018-10-05tslint warning supress using tsconfigcedric05
2018-10-05FormatRyan Dahl
2018-10-05Changed tools/lint.py to lint the entire js and tests directories. (#900)Chris Bystrek
2018-09-24tools: make color output work on windowsBert Belder
2018-07-27Ignore any generated TypeScript filesKitson Kelly
2018-07-08Clean up tools/Ryan Dahl
2018-07-08Rewrite tools/lint.sh in python (#343)Hao Li