On Thu, 22 Nov 2001 16:06:35 +0100, Andre Gildemeister wrote: >- shouldn't PHPDoc become an official extension either? (ext/phpdoc)
I don't see a good reason for that. - Martin -- Martin Jansen, <[EMAIL PROTECTED]> http://www.martin-jansen.de/ -- PHP Development Mailing List <http://www.php.net/> To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED] To contact the list administrators, e-mail: [EMAIL PROTECTED]
