dolfin team mailing list archive

[dyresen@xxxxxxxxx]

Hi,

$HOME should now be back. There may be inconsistencies, so I advice to
have a look at it first.

Regards
Bjørn