6 Commits

Author	SHA1	Message	Date
Alexandre Abadie	558f3920a9	dist/tools: don't overwrite EXCLUDE when not necessary	2020-12-18 12:58:25 +01:00
Koen Zandberg	c5b2ded055	dist/tools: Use /usr/bin/env bash for bash scripts	2020-10-30 13:13:40 +01:00
Jose Alamos	eaf2fecd20	vera++: remove non-zero exit code	2020-02-18 19:53:08 +01:00
Jose Alamos	c455efba36	vera++: add README file	2020-02-14 14:17:17 +01:00
Jose Alamos	6057d1fba9	vera++: add check.sh script	2020-02-14 14:17:17 +01:00
Jose Alamos	6352c3cf48	style-check/vera++: add RIOT vera++ files	2020-02-14 14:17:16 +01:00