Hi,
> > Hi, > > $HOME should now be back. There may be inconsistencies, so I advice to > have a look at it first. > > Regards > Bjørn > > > > _______________________________________________ > DOLFIN-dev mailing list > DOLFIN-dev@fenics.org > http://www.fenics.org/mailman/listinfo/dolfin-dev > _______________________________________________ DOLFIN-dev mailing list DOLFIN-dev@fenics.org http://www.fenics.org/mailman/listinfo/dolfin-dev
