Skip to content

Commit

Permalink
Fix Linux file permissions (#392)
Browse files Browse the repository at this point in the history
  • Loading branch information
skallweitNV authored Oct 20, 2023
1 parent 9fdfdbb commit 79ed2ee
Show file tree
Hide file tree
Showing 6 changed files with 0 additions and 0 deletions.
Empty file modified build_scripts/deploycommon.sh
100644 → 100755
Empty file.
Empty file modified build_scripts/wrap_setpath.sh
100644 → 100755
Empty file.
Empty file modified setup.sh
100644 → 100755
Empty file.
Empty file modified tools/format_code.sh
100644 → 100755
Empty file.
Empty file modified tools/pymacro.py
100644 → 100755
Empty file.
Empty file modified tools/run_clang_format.py
100644 → 100755
Empty file.

0 comments on commit 79ed2ee

Please sign in to comment.