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
tobiasd commented 2017-12-07 14:32:58 +01:00 (Migrated from github.com)
No description provided.
MrPetovan (Migrated from github.com) approved these changes 2017-12-07 15:10:46 +01:00
MrPetovan commented 2017-12-07 15:12:14 +01:00 (Migrated from github.com)

Related to #4010

Related to #4010
Sign in to join this conversation.
No description provided.