fixed installation script if a different branch is defined in the scr…#78

Merged

adrianq merged 1 commit intodevelopmentfrom

fix_installation_script

Oct 2, 2018

Commits on Oct 1, 2018

fixed installation script if a different branch is defined in the script itself to be used
ddelpiano
committed