We have to sync repositories from old to new server. Please do not try to push any changes or do any checkouts for now. We'll let you know when it's ready.
Regards Bjørn _______________________________________________ DOLFIN-dev mailing list DOLFIN-dev@fenics.org http://www.fenics.org/mailman/listinfo/dolfin-dev
