[ jEdit-CVS ] CVS update: plugins/TextTools

[Rudolf W. <ru...@us...>]

Date:	Wednesday November 13, 2002 @ 13:03
Author:	ruwi

Update of /cvsroot/jedit/plugins/TextTools
In directory usw-pr-cvs1:/tmp/cvs-serv781/plugins/TextTools

Modified Files:
	TextTools.html 
Log Message:
documentation for v1.10