[Bf-committers] Re: RFC ODE to extern/

[Hans Lambermont]

Michel Selten wrote:

> On Tue, 2003-01-07 at 16:13, Charles Wardlaw wrote:
> > > > Discussion: use extern/ode or extern/ode/ode-0.03 ?
> > > I would say use extern/ode or extern/ode-0.03
> > I'm personally for extern/ode.  I don't think we should bother with
> extern/ode is also my choice because of the same reason as presented by

Ok :) source/ode just moved to extern/ode

Hans
-- 
http://lambermont.webhop.org/