summaryrefslogtreecommitdiff
path: root/util/lint/lint-stable-004-style-labels
AgeCommit message (Expand)Author
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-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-01-23util/lint: Unify checks for git worktreeAlex Thiessen
2016-04-13lint/lint-stable-004-style-labels: Update scriptMartin Roth
2015-10-31tree: drop last paragraph of GPL copyright headerPatrick Georgi
2015-05-21Remove address from GPLv2 headersPatrick Georgi
2014-01-11lint: check label style only on changed filesPatrick Georgi
2012-03-07Move C labels to start-of-linePatrick Georgi