mrdudz 3717f36c52 rename the actual checkstyle target too :)

2022-07-21 03:22:52 +02:00

..

lastline.sh

Made the style-check scripts send their file lists to stderr.

2022-07-21 03:20:45 +02:00

Makefile

rename the actual checkstyle target too :)

2022-07-21 03:22:52 +02:00

spaces.sh

Made the style-check scripts send their file lists to stderr.

2022-07-21 03:20:45 +02:00

tabs.sh

Made the style-check scripts send their file lists to stderr.

2022-07-21 03:20:45 +02:00