summaryrefslogtreecommitdiff
path: root/lint/.gitignore
AgeCommit message (Expand)Author
2019-11-16remove lint, added to toplevel Makefile.ng0
2019-04-01ignore in lint/ng0