- 74b4bd0 tree: Replace `egrep` with `grep -E` by Felix Singer · 1 year, 5 months ago
- 95b5b02 util/lint: Fix linting outside of git repos by Martin Roth · 1 year, 10 months ago
- d81debd util/lint: Update tools that use git to use a library by Martin Roth · 2 years, 3 months ago
- 0ad5fbd util: Update all shebangs to use /usr/bin/env by Martin Roth · 3 years, 8 months ago
- 04bf41b util/lint: Capitalise lint descriptions by Angel Pons · 3 years, 10 months ago
- ffa58cf util/lint: Add lint and checkpatch coverage for tests/ dir by Jan Dabros · 4 years, 1 month ago
- 6b5bc77 treewide: Remove "this file is part of" lines by Patrick Georgi · 4 years, 3 months ago
- 7333a11 util/: Replace GPLv2 boiler plate with SPDX header by Patrick Georgi · 4 years, 3 months ago
- ea063cb AUTHORS, util/: Drop individual copyright notices by Patrick Georgi · 4 years, 3 months ago
- dea1333 util/lint: Ignore whitespace, newlines, and licenses in vbt files by Martin Roth · 6 years ago
- be5492a Add minimal GNAT run time system (RTS) by Nico Huber · 9 years ago
- 6966759 util/lint: Fix linter for old license headers by Martin Roth · 9 years ago
- da1a70e util/lint: Add linter for files with the old license header by Martin Roth · 9 years ago