-
Notifications
You must be signed in to change notification settings - Fork 181
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove exec permission on source files (#259)
* Remove exec permission on source files Signed-off-by: Gaël Écorchard <gael.ecorchard@cvut.cz> * Remove unrelated change Co-authored-by: G.A. vd. Hoorn <g.a.vanderhoorn@tudelft.nl>
- Loading branch information
1 parent
34bcc58
commit 2f2a628
Showing
5 changed files
with
0 additions
and
0 deletions.