On Wed, Aug 24, 2011 at 12:39 AM, Johan Hake <johan.h...@gmail.com> wrote: > Ok, but to use that branch you need to merge what I did into your stuff, as > the rbanches then has diverged. The easiest would be for me to delete that > branch, but I do not know how to do that...
There is a "Delete branch" link on the right-hand side on your branch page: https://code.launchpad.net/~dolfin-core/dolfin/hake Johannes _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
