mrdudz 3834232c29 also check spaces at end of lines

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

..

lastline.sh

add more style checks

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

Makefile

also check spaces at end of lines

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

spaces.sh

add more style checks

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

tabs.sh

added TAB checker script, to be added to the PR checker action

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