I don't use Jikes, but I don't think I changed the behaviour for Jikes users. So if you, as a Jikes user, think we should now set this property to "true" by default, please go ahead and make that change, accompanied by a comment that it is for Jikes.
Thanks,
Doug
Otis Gospodnetic wrote:
"true" would probably be good.
Otis
--- Doug Cutting <[EMAIL PROTECTED]> wrote:
Otis Gospodnetic wrote:
I think the pedantic property actually is used (automatically by
Ant),
at least when you use Jikes (I do).
Oops, you're right. But it looks like we were just setting it to the
default value. So do we need to add it back?
Doug
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
