[ jEdit-CVS ] CVS update: plugins/JIndex/jindex

[stefano m. <ma...@us...>]

Date:	Wednesday August 21, 2002 @ 9:19
Author:	maeste

Update of /cvsroot/jedit/plugins/JIndex/jindex
In directory usw-pr-cvs1:/tmp/cvs-serv8766

Modified Files:
	JIndexDockable.java JIndexPlugin.java 
Log Message:
Ported to JEdit 4.1. Do nothing just ported to new API, some deprecated API removed, added dockables.xml file