1) Fixed issue #705: Take the global 'Undo history size' to overwrite the default...
[phpeclipse.git] / net.sourceforge.phpeclipse.externaltools / src / net / sourceforge / phpeclipse / externaltools / PHPConsole.java
2006-10-21 pombredanneA massive organize imports and formatting of the source...
2005-06-11 axelclAll prefs administrated in external tools plugin.