[ jEdit-CVS ] CVS update: plugins/Vimulator

[mike d. <md...@us...>]

Date:	Saturday October 20, 2001 @ 11:23
Author:	mdillon

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

Modified Files:
	VimulatorPlugin.java 
Log Message:
roll back "pseudo-session managdement" changes