mirror of https://github.com/php/php-src
Browse Source
because we don't want PHP 4 and PHP 5 extensions to be in the same directory when doing "make install" for shared, or phpize'd extensions.PEAR_1_4DEV
1 changed files with 1 additions and 1 deletions
Loading…
Reference in new issue