[ jEdit-CVS ] CVS update: plugins/WhiteSpace

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

Date:	Sunday December 2, 2001 @ 15:30
Author:	akaplan

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

Modified Files:
	actions.xml 
Log Message:
Moved paragraph separator highlighting option to WhiteSpaceActions