Age | Commit message (Expand) | Author |
---|---|---|
2019-11-16 | remove lint, added to toplevel Makefile. | ng0 |
2019-09-16 | lint: Remove checkbashisms.pl, assume it is in PATH. | ng0 |
2019-04-03 | fix disting rules | Christian Grothoff |
2019-04-01 | ignore in lint/ | ng0 |
2019-03-19 | generate perl for checkbashisms.pl | ng0 |
2019-03-14 | remove the single tab in texinfo we had | ng0 |
2019-03-09 | fix. | ng0 |
2019-03-09 | lint: drop logs into lint folder | ng0 |
2019-03-09 | Bundle my copy of checkbashism for self-contained linting | ng0 |
2019-03-06 | Fix #5631 | ng0 |