summaryrefslogtreecommitdiff
path: root/lint
AgeCommit message (Collapse)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
It was getting annoying how long it would take to run.
2020-04-15Add lint scriptBen Sima