Fix executable perms on develop.py which seem to have got lost somewhere in the move.
parent
a050c35bf1
commit
8aae5a105b
Loading…
Reference in New Issue