Revision 14161ba38c06d1afb227506bc2b2165f2ea31b32

Committed on 18/12/2017 8:03 am by André R <[email protected]> [GitHub Diff]

Fix permissons set in setup_from_external_repo.sh