Dunedan f58dc9b485 Remove unnecessary executable bits ... This removes the executable bits from files which aren't supposed to have them. Also removes shebangs for files which aren't supposed to be executable.		2024-08-26 07:46:34 +02:00
..
gui	Remove unnecessary executable bits	2024-08-26 07:46:34 +02:00