]> git.pld-linux.org Git - packages/php.git/history - php-gmp.patch
keep php.cli as file in man as well
[packages/php.git] / php-gmp.patch
2012-06-24 Arkadiusz Miśkiewicz- rel 5; fix build with new gmp
This page took 2.854249 seconds and 7 git commands to generate.