diff options
| author | Remi Collet <fedora@famillecollet.com> | 2014-10-15 16:42:42 +0200 |
|---|---|---|
| committer | Remi Collet <fedora@famillecollet.com> | 2014-10-15 16:42:42 +0200 |
| commit | 0c221d649fa0023f92b0fb5afef978ae8008cb39 (patch) | |
| tree | 5f8019bd1e116f86a238472bb10be645c5629b38 /php.ini-production | |
| parent | 621b875b8c4b55cae477c697a4843cd96a57f0a8 (diff) | |
php 5.4: build gmp as shared, so can be disabled by user
Diffstat (limited to 'php.ini-production')
0 files changed, 0 insertions, 0 deletions