Koen Zandberg c5b2ded055 dist/tools: Use /usr/bin/env bash for bash scripts		2020-10-30 13:13:40 +01:00
..
patterns
.gitignore
check.sh	dist/tools: Use /usr/bin/env bash for bash scripts	2020-10-30 13:13:40 +01:00