summaryrefslogtreecommitdiff
path: root/util/lint/lint-stable-009-old-licenses
AgeCommit message (Expand)Author
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