php-gtk-doc build server?

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

php-gtk-doc build server?

Christian Weiske
Hi Andrei,

The php-gtk-doc build system is totally down as it seems - last message

The last build was in 2007:

Derick told me that does not do builds - so where have the
builds been taking place?

Regards/Mit freundlichen Grüßen
Christian Weiske

-= Geeking around in the name of science since 1982 =-

signature.asc (205 bytes) Download Attachment