Martine Lenders 6208515a86

dist/whitespacecheck: use result of piped command for return value

2021-01-08 14:09:43 +01:00

..

check.sh

dist/whitespacecheck: use result of piped command for return value

2021-01-08 14:09:43 +01:00

ignore_list.txt

tools: whitespacecheck: ignore fixdep.c

2020-08-11 09:47:32 +02:00