also check spaces at end of lines

2022-04-17 16:08:21 +02:00
parent 92e16432f7
commit 4e3bba0c3f
2 changed files with 4 additions and 6 deletions
--- a/Contributing.md
+++ b/Contributing.md
@@ -20,7 +20,7 @@ This is an ongoing controversial topic - everyone knows that. However, the follo
 * No extra spaces at the end of lines.
 * All text files must end with new-line characters.  Don't leave the last line "dangling".

-The (bash) scipts used to check the above rules can be found in ```.github/check```
+The (bash) scipts used to check the above rules can be found in ```.github/check```. You can also run all checks using ```make check```.

 ### misc