summaryrefslogtreecommitdiff
path: root/lint
AgeCommit message (Expand)Author
2019-09-16lint: Remove checkbashisms.pl, assume it is in PATH.ng0
2019-04-03fix disting rulesChristian Grothoff
2019-04-01ignore in lint/ng0
2019-03-19generate perl for checkbashisms.plng0
2019-03-14remove the single tab in texinfo we hadng0
2019-03-09fix.ng0
2019-03-09lint: drop logs into lint folderng0
2019-03-09Bundle my copy of checkbashism for self-contained lintingng0
2019-03-06Fix #5631ng0