Clean executable files (#1047)

Browse Source

* Mark headers as non-executable

* Update shebangs

...

This commit is contained in:

Marijn van der Werf

2023-05-04 11:03:02 +02:00

committed by GitHub

parent 4680a74e0b

commit 5511e18133

122 changed files with 51 additions and 49 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

0

tools/old/create_renames.py Executable file → Normal file