summaryrefslogtreecommitdiff
path: root/util/lint/lint-stable-006-board-name
AgeCommit message (Expand)Author
2020-05-09AUTHORS, util/: Drop individual copyright noticesPatrick Georgi
2015-04-18lint: Add check for new board name schemeStefan Reinauer