aboutsummaryrefslogtreecommitdiff
path: root/util/lint/lint-stable-000-license-headers
AgeCommit message (Expand)Author
2016-04-14util/lint: Update lint-stable-000-license-headersMartin Roth
2016-01-18util/lint: Update license linter, make stable versionMartin Roth