[ jEdit-CVS ] CVS update: jEdit/doc/users-guide

[John G. <jge...@us...>]

Date:	Saturday February 16, 2002 @ 6:23
Author:	jgellene

Update of /cvsroot/jedit/jEdit/doc/users-guide
In directory usw-pr-cvs1:/tmp/cvs-serv22735

Modified Files:
	launcher-guide.xml 
Log Message:
Minor corrections