On 31. aug. 2010 23:28, Anders Logg wrote: > On Tue, Aug 31, 2010 at 11:22:26PM +0200, Marie Rognes wrote: > >> On 31. aug. 2010 23:21, Anders Logg wrote: >> >>> I just did a similar change, resulting in a *large* number of >>> conflicts when I merged. I'll need to clone a new repository... :-) >>> >>> >>> >> Sorry! >> > No problem, I needed a fresh clone anyway. >
Should be done now. -- Marie _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
