← Back to team overview

fenics team mailing list archive

New repository area: /dev

 

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?


Follow ups