[ jEdit-CVS ] CVS update: plugins/JTools

[Rob F. <rfl...@us...>]

Date:	Wednesday January 22, 2003 @ 8:01
Author:	rfletch6

Update of /cvsroot/jedit/plugins/JTools
In directory sc8-pr-cvs1:/tmp/cvs-serv23391/JTools

Modified Files:
	JTools.props build.xml users-guide.xml 
Log Message:
updated docs