Subject: [FEniCS-dev] New repository area: /dev

From: Anders Logg <[email-masked]>
Date: Wed, 31 Jan 2007 12:07:26 +0100

We have set up a new repository area for repositories that are not
official projects. This can be branches of current projects,
experimental stuff, tentative projects etc.

The new area is under

    http://www.fenics.org/dev/

/Anders

PS: Should dolfin-stable be under /hg or /dev?

---

From: "Garth N. Wells" <[email-masked]>
Date: Wed, 31 Jan 2007 12:11:46 +0100

> PS: Should dolfin-stable be under /hg or /dev?

It should be under /hg.

What the latest feeling on dolfin-stable? Is it worthwhile for anyone to 
maintain?

Garth

> _______________________________________________
> FEniCS-dev mailing list
> [email-masked]
> http://www.fenics.org/mailman/listinfo/fenics-dev
>

---

From: Anders Logg <[email-masked]>
Date: Wed, 31 Jan 2007 13:11:50 +0100

> > PS: Should dolfin-stable be under /hg or /dev?

ok, fixed.

/Anders