From: Slava P. <sp...@us...> - 2002-06-02 05:40:44
|
Date: Saturday June 1, 2002 @ 22:40 Author: spestov Update of /cvsroot/jedit/jEdit/org/gjt/sp/jedit In directory usw-pr-cvs1:/tmp/cvs-serv31935/org/gjt/sp/jedit Modified Files: jedit_gui.props Log Message: faster content manager |