mirror of
https://github.com/php/php-src.git
synced 2024-11-28 12:26:37 +08:00
Merge branch 'PHP-5.3' into PHP-5.4
* PHP-5.3: adapt makedist to git
This commit is contained in:
commit
f3f76e5e8a
* PHP-5.3: adapt makedist to git