util/install_dependencies.sh made executable, fixes #738

pull/739/head
Peter Ondrejka 8 years ago
parent 0f111182a6
commit 01163b268a
Loading…
Cancel
Save