Revision 332af6f0987824a25bb065524133f13f5477e657
Committed on 21/11/2016 3:41 am by
Edi Modrić <emodric@users.noreply.github.com> [GitHub Diff]
Merge pull request #32 from netgen/fix/old-php-ppa-has-been-deprecated-use-new-shiny-coninstallable-one
Use the shiny new coinstallable ppa, and fix paths.
