mirror of
https://github.com/php/php-src.git
synced 2024-12-09 09:54:00 +08:00
d3400b2b5f
these can be safely removed from the 4.2 branch, too. |
||
---|---|---|
.. | ||
config.m4 | ||
CREDITS | ||
ovrimos.c | ||
php_ovrimos.h |