some files were executable, now they are not #467

Merged
tobiasd merged 1 commit from 20171207-execs into master 2017-12-07 15:10:50 +01:00

1 commit

Author SHA1 Message Date
f8d9efe8c7 some files were executable, now they are not 2017-12-07 14:26:26 +01:00