[ jEdit-CVS ] CVS update: plugins/ErrorList/errorlist

[Slava P. <sp...@us...>]

Date:	Friday November 23, 2001 @ 20:06
Author:	spestov

Update of /cvsroot/jedit/plugins/ErrorList/errorlist
In directory usw-pr-cvs1:/tmp/cvs-serv7307/errorlist

Modified Files:
	DefaultErrorSource.java ErrorSource.java 
Log Message:
Minor tweaks needed by console plugin