[jdom-interest] CVS update: jdom-contrib

[jhunter at cvs.jdom.org]

Date:	Tuesday July 11, 2000 @ 23:36
Author:	jhunter

Update of /home/cvspublic/jdom-contrib
In directory www.nmemonix.com:/tmp/cvs-serv29934

Modified Files:
	build.bat 
Log Message:
Keeping build.bat in line with build.sh for antlr.

===================================================================
File: build.bat        	Status: Up-to-date

   Working revision:	1.4	Tue Jul 11 22:36:03 2000
   Repository revision:	1.4	/home/cvspublic/jdom-contrib/build.bat,v

   Existing Tags:
	No Tags Exist