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
Ethan Roseman	99ddd82d60	Shiftability / symbol fixes (#925) ... * shiftability / symbol fixes * temp fix to hos_05	2023-01-28 19:47:26 +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