Age | Commit message (Expand) | Author |
2023-04-06 | tree: Replace `egrep` with `grep -E` | Felix Singer |
2022-10-21 | util/lint: Fix linting outside of git repos | Martin Roth |
2022-09-30 | util/lint: Update tools that use git to use a library | Martin Roth |
2021-01-25 | util: Update all shebangs to use /usr/bin/env | Martin Roth |
2020-10-14 | util/lint: Capitalise lint descriptions | Angel Pons |
2020-07-26 | util/lint: Add lint and checkpatch coverage for tests/ dir | Jan Dabros |
2020-05-11 | treewide: Remove "this file is part of" lines | Patrick Georgi |
2020-05-09 | util/: Replace GPLv2 boiler plate with SPDX header | Patrick Georgi |
2020-05-09 | AUTHORS, util/: Drop individual copyright notices | Patrick Georgi |
2018-05-09 | util/lint: Ignore whitespace, newlines, and licenses in vbt files | Martin Roth |
2016-09-19 | Add minimal GNAT run time system (RTS) | Nico Huber |
2016-01-21 | util/lint: Fix linter for old license headers | Martin Roth |
2016-01-15 | util/lint: Add linter for files with the old license header | Martin Roth |