3 Commits

Author	SHA1	Message	Date
Marijn van der Werf	5511e18133	Clean executable files (#1047) ... * Mark headers as non-executable * Update shebangs	2023-05-04 18:03:02 +09:00
Marijn van der Werf	30aa49d4a8	Clean trailing whitespace (#1038) ... * Add missing newlines * Remove trailing whitepace	2023-04-29 15:28:06 +02:00
Alexander Faßbender	76c7e51f4a	Update and move tools (#596) ... * update scripts and move outdated ones to /old/ * updates * resolve issues	2022-01-02 13:10:49 +01:00