dolfin team mailing list archive

[Johannes Ring <johannr@xxxxxxxxx>]

On Wed, Aug 24, 2011 at 12:39 AM, Johan Hake <johan.hake@xxxxxxxxx> 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