dolfin team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

ok, so everyone seems to be happy (I'm very happy) with the new build
system, so I just went ahead and pushed it.

I'm sure this will break a lot of things for many people... :-)

-- 
Anders