summaryrefslogtreecommitdiff
path: root/lint
AgeCommit message (Expand)Author
2020-07-14dev: move some commands to shellBen Sima
2020-04-26Lint files explicitlyBen Sima
2020-04-21lint 'lint' and make it only run on changed filesBen Sima
2020-04-15Add lint scriptBen Sima