summaryrefslogtreecommitdiff
path: root/tools/lint.sh
AgeCommit message (Expand)Author
2018-07-01Add tslintParsa Ghadimi
2018-07-01Add cpplint to third_partyRyan Dahl
2018-06-28Reorg: Move tools/ and gitignore to root.Ryan Dahl