mirror of
https://github.com/php/php-src.git
synced 2024-12-15 12:54:57 +08:00
83513d9580
Added a few RCS $Id$ tags. # Note: I have avoided changing any .h files if the corresponding .c file # had not already been changed as I am not sure if there are any legal # issues here. So some extensions still have PHP 3 headers. |
||
---|---|---|
.. | ||
config.m4 | ||
dav.c | ||
Makefile.in | ||
php_dav.h | ||
setup.stub |