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

[jhunter at cvs.jdom.org]

Date:	Saturday May 19, 2001 @ 1:18
Author:	jhunter

Update of /home/cvspublic/jdom/src/java/org/jdom
In directory www.nmemonix.com:/tmp/cvs-serv16585

Modified Files:
	Element.java 
Log Message:
Deprecated Element.hasMixedContent() because it's of little use and its
behavior isn't well defined.

-jh-

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

   Working revision:	1.77	Sat May 19 00:18:29 2001
   Repository revision:	1.77	/home/cvspublic/jdom/src/java/org/jdom/Element.java,v

   Existing Tags:
	start                    	(revision: 1.1.1.1)
	jdom                     	(branch: 1.1.1)