update file permission

This commit is contained in:
Davide Alberani 2018-01-26 13:12:53 +01:00
parent cadc6ec2d8
commit 2678000d68

0
run-docker.sh Normal file → Executable file
View file