[ jEdit-CVS ] CVS update: plugins

[Kevin L M. <kl...@us...>]

Date:	Tuesday January 1, 2002 @ 23:23
Author:	klmcw

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

Modified Files:
	build.pl 
Added Files:
	obsolete.plugins 
Log Message:
Support new filter obsolete.plugins in plugin build script.