path: root/lint
AgeCommit message (Expand)Author
2019-11-16remove lint, added to toplevel Makefile.ng0
2019-09-16lint: Remove, 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-09lint: drop logs into lint folderng0
2019-03-09Bundle my copy of checkbashism for self-contained lintingng0
2019-03-06Fix #5631ng0