On Wednesday March 23 2011 09:45:13 Anders Logg wrote: > I think (1) even if the copying is not costly. So it needs to be > changed in ErrorControl.
On Wednesday March 23 2011 09:46:59 Garth N. Wells wrote: > We should go with (2). Why am I not supriced ;) Johan _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
