Fixed "textEditor==null" bug
[phpeclipse.git] / net.sourceforge.phpeclipse.debug.ui / plugin.properties
2002-12-23 khartlageThis commit was generated by cvs2svn to compensate...