[ jEdit-CVS ] CVS update: plugins/highlight/docs

[Matthieu C. <kp...@us...>]

Date:	Wednesday May 11, 2005 @ 12:43
Author:	kpouer

Update of /cvsroot/jedit/plugins/highlight/docs
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv5223/plugins/highlight/docs

Modified Files:
	Highlight.html 
Log Message:
small optimization on loading / unloading