Rename postinstall script #87

Merged
raucao merged 3 commits from dev/dependency_install into master 2019-04-09 10:45:41 +00:00
No description provided.