aboutsummaryrefslogtreecommitdiff
path: root/util/lint/lint-stable-009-old-licenses
AgeCommit message (Expand)Author
2018-05-09util/lint: Ignore whitespace, newlines, and licenses in vbt filesMartin Roth
2016-09-19Add minimal GNAT run time system (RTS)Nico Huber
2016-01-21util/lint: Fix linter for old license headersMartin Roth
2016-01-15util/lint: Add linter for files with the old license headerMartin Roth