[ jEdit-CVS ] CVS update: jEdit

[Slava P. <sp...@us...>]

Date:	Monday December 16, 2002 @ 18:03
Author:	spestov

Update of /cvsroot/jedit/jEdit
In directory sc8-pr-cvs1:/tmp/cvs-serv14099

Modified Files:
	build.xml 
Log Message:
options dialog improvements