Tom Tromey <[EMAIL PROTECTED]> writes:

> * I didn't add a GUI for the new options I added; I just set up their
>   defaults to be what we'd like.  This is easy enough to change later
>   if needed.

Ok, I think we should make the "GNU" option do what we like if someone
does hack on the config piece.

-- 
Brian Jones <[EMAIL PROTECTED]>


_______________________________________________
Classpath mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/classpath

Reply via email to