On Tue, Aug 21, 2012 at 09:55:19PM +0100, Garth N. Wells wrote: > On 21 August 2012 18:14, Anders Logg <[email protected]> wrote: > > Can we remove the following classes? > > > > Sure. They may be useful in the future, but we can always restore them.
ok. Removed now in the dolfin-spacetime branch. -- Anders _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
