summaryrefslogtreecommitdiff
path: root/Biz/lint.py
AgeCommit message (Expand)Author
2020-09-16devalloc: prototypeBen Sima
2020-07-25lint: colors and check all changed filesBen Sima
2020-07-14dev: move some commands to shellBen Sima