make scripts executable

This commit is contained in:
Jeff Epler 2021-09-08 11:42:53 -05:00
parent fd194d6a75
commit cc65263341
No known key found for this signature in database
GPG key ID: D5BF15AB975AB4DE
5 changed files with 0 additions and 0 deletions

0
actions_install.sh Normal file → Executable file
View file

0
build_platform.py Normal file → Executable file
View file

0
doxy_gen_and_deploy.sh Normal file → Executable file
View file

0
library_check.sh Normal file → Executable file
View file

0
run-clang-format.py Normal file → Executable file
View file