707: add --no-dev flag for pie install for PHP projects - #710

707: add --no-dev flag for pie install for PHP projects#710

asgrim merged 1 commit into

php:1.5.xphp/pie:1.5.xfrom

asgrim:707-no-dev-install-extensionsasgrim/pie:707-no-dev-install-extensionsCopy head branch name to clipboard