fix wrong DebugEvent.TERMINATE fire.
[phpeclipse.git] / net.sourceforge.phpeclipse.phpmanual / plugin.properties
2007-11-20 scorphusInitial import of the phpmanual plugin