Re: [cp-patches] FYI: Eclipse formatting settings update.

[Tom Tromey]

>>>>> "Mark" == Mark Wielaard <address@hidden> writes:

Mark> I don't really care which "rule" we follow (although my
Mark> preference is implements, extends or throws on a next line
Mark> indented) as long as we do it consistently.

Yes.  I have a slight preference for all-on-one-line.  Maybe we
should vote or something :-)

Tom