summaryrefslogtreecommitdiff
path: root/util/lint/lint-stable-005-board-status
AgeCommit message (Expand)Author
2015-05-21Remove address from GPLv2 headersPatrick Georgi
2014-09-03lint: simplify board-status checkPatrick Georgi
2014-08-18board-info: Output errors to stdout like make lint-stable expectsVladimir Serbinenko
2014-08-16lint-stable: Check that modified boards contain meaningful board_info.txt.Vladimir Serbinenko