On Fri, 2005-04-29 at 02:17 +0200, Jochen Wiedmann wrote: >Daniel Rall wrote: > >> Regarding Eclipse, I don't know of a published one, but you can give one >> of the attached ones a try. If that works for everyone, we could stick >> it up on the web site somewhere. > >As of Eclipse 3.1, one can save that as "project specific settings" in >the CVS. In other words, I suggest that you do so.
I don't use Eclipse (XEmacs here), but I'm fine with any Eclipse user who's also a committer saving these settings to our CVS repo. Alternately, if none of the committers use Eclipse, perhaps an Eclipse user could suggest the appropriate location in the CVS repo for these settings?