[ jEdit-CVS ] CVS update: plugins/TextTools

[mike d. <md...@us...>]

Date:	Friday July 19, 2002 @ 12:42
Author:	mdillon

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

Modified Files:
	AUTHORS.txt TextTools.html TextTools.props actions.xml 
Log Message:
Adding changes from Rudi Widmann