aboutsummaryrefslogtreecommitdiff
path: root/lint/ksh.sh
AgeCommit message (Expand)AuthorFilesLines
2018-12-19Remove diagnostic messages from check/lint scriptsTom Ryder1-1/+0
2017-10-31Tidy and correct linting for all three shellsTom Ryder1-3/+6
2017-10-31Revert "Drastically simplify `lint` scripts"Tom Ryder1-5/+3
2017-10-31Drastically simplify `lint` scriptsTom Ryder1-3/+5
2017-04-05More sh flexibility (check/lint scripts)Tom Ryder1-0/+3