summaryrefslogtreecommitdiff
path: root/util/lint/lint-stable-004-style-labels
AgeCommit message (Expand)Author
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