mod_dav
| From: | Andrei Zmievski | Date: | Tue, 05 Dec 2000 15:44:27 +0000 |
| Subject: | mod_dav | ||
| Groups: | php.dev | ||
| Request: | Send a blank email to php-dev+get-40141@lists.php.net to get a copy of this message | ||
I'd like to remove or somehow obsolete ext/dav extension. People still
try to build it and it's time it was gone. What should be the best way
to do it?
-Andrei
* E Pluribus UNIX. *