Adding PHPManual and PHPmanual.htmlparser to the plugins list.
[phpeclipse.git] / build / allElements.xml
2006-11-02 pombredanneA mostly working command line (headless) build using...