diff options
author | Tom Van Looy <tom@ctors.net> | 2016-11-20 10:08:51 +0100 |
---|---|---|
committer | Nikita Popov <nikic@php.net> | 2016-11-20 14:16:50 +0100 |
commit | 442fd2f92a2c89eb4721c7d2b861aed09f792a0f (patch) | |
tree | 37a5be406b587e4ab0407aeb824db18eae06df43 /php.ini-production | |
parent | d37482679aa072190986df84a7168b0ccdbc7acf (diff) | |
download | php-git-442fd2f92a2c89eb4721c7d2b861aed09f792a0f.tar.gz |
Cleanup tests version checks
Diffstat (limited to 'php.ini-production')
0 files changed, 0 insertions, 0 deletions