summaryrefslogtreecommitdiff
path: root/util/lint/lint-stable-009-old-licenses
AgeCommit message (Expand)Author
2022-10-21util/lint: Fix linting outside of git reposMartin Roth
2022-09-30util/lint: Update tools that use git to use a libraryMartin Roth
2021-01-25util: Update all shebangs to use /usr/bin/envMartin Roth
2020-10-14util/lint: Capitalise lint descriptionsAngel Pons
2020-07-26util/lint: Add lint and checkpatch coverage for tests/ dirJan Dabros
2020-05-11treewide: Remove "this file is part of" linesPatrick Georgi
2020-05-09util/: Replace GPLv2 boiler plate with SPDX headerPatrick Georgi
2020-05-09AUTHORS, util/: Drop individual copyright noticesPatrick Georgi
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