Maevi 3126d71478 treewide: remove exec bit from files that don't need it ...

find . -type f -executable ! -name '*.sh' -exec grep -L '^#!' {} \; | xargs chmod a-x

2026-01-16 15:42:35 +01:00

..

dag.py

…

dedup_overrides.py

treewide: remove exec bit from files that don't need it

2026-01-16 15:42:35 +01:00

extract_artifacts.py

treewide: remove exec bit from files that don't need it

2026-01-16 15:42:35 +01:00

find_package_implications.py

…

format_overrides.py

…

minimal_registry.py

treewide: remove exec bit from files that don't need it

2026-01-16 15:42:35 +01:00

project.py

treewide: remove exec bit from files that don't need it

2026-01-16 15:42:35 +01:00

sources_nix.py

treewide: remove exec bit from files that don't need it

2026-01-16 15:42:35 +01:00

util.py

…