← Back to team overview

dolfin team mailing list archive

Thread
Date

Removing heads

To: Discussion of DOLFIN development <dolfin-dev@xxxxxxxxxx>
From: Anders Logg <logg@xxxxxxxxx>
Date: Tue, 9 Jan 2007 16:00:32 +0100
Delivered-to: dolfin-dev@xxxxxxxxxx
Mail-followup-to: Discussion of DOLFIN development <dolfin-dev@xxxxxxxxxx>
User-agent: Mutt/1.5.12-2006-07-14

We have more than one head in the repository (check with hg heads).
Is it ok if I remove all other heads than tip? I guess no one is using
any of them.

/Anders

Follow ups

Re: Removing heads
From: Johan Jansson, 2007-01-10