2 Commits

Author	SHA1	Message	Date
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