Re: Suggested Diff: UnknownElement.java

[Peter Reilly]

Jack J. Woehr wrote:

Okay, how's this?

That is good, I have committed it.

Peter

---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]