[jdom-commits] CVS update: jdom/src/java/org/jdom

[cvs at cvs.jdom.org]

Date:	Saturday November 16, 2002 @ 8:51
Author:	cvs

Update of /home/cvspublic/jdom/src/java/org/jdom
In directory jools.org:/tmp/cvs-serv9700

Modified Files:
	EntityRef.java 
Log Message:
Patch from Brad: "setPublicID/setSystemID where never doing 
the Verifier checks."

-jh-

===================================================================
File: no file EntityRef.java		Status: Needs Checkout

   Working revision:	1.12	Sat Nov 16 13:51:37 2002
   Repository revision:	1.12	/home/cvspublic/jdom/src/java/org/jdom/EntityRef.java,v

   Existing Tags:
	jdom_1_0_b8              	(revision: 1.8)
	jdom_1_0_b8_rc1          	(revision: 1.8)
	jdom_prefilter           	(revision: 1.3)
	jdom_1_0_b7              	(revision: 1.3)