Re: [PATCH] Extdir fix for Jikes on MacOS X

[Stefan Bodewig]

you may have missed it, because I commited a modified version of it,
but your patch found its way into Ant's CVS.

Stefan

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