2 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
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