[ jEdit-CVS ] CVS update: plugins/WhiteSpace/whitespace

[Andr? K. <ak...@us...>]

Date:	Monday January 14, 2002 @ 16:01
Author:	akaplan

Update of /cvsroot/jedit/plugins/WhiteSpace/whitespace
In directory usw-pr-cvs1:/tmp/cvs-serv7082/whitespace

Modified Files:
	WhiteSpacePlugin.java 
Log Message:
WhiteSpace option group name fixed