dolfin team mailing list archive

[johannr@xxxxxxxxx]

On Mon, March 17, 2008 Garth N. Wells wrote:
> DOLFIN wrote:
>> One or more new changesets pushed to the primary dolfin repository.
>> A short summary of the last three changesets is included below.
>>
>> changeset:   3708:e4578e8193d8ae94871c53d16e2a89f4bfbfad23
>> tag:         tip
>> user:        Johannes Ring <johannr@xxxxxxxxx>
>> date:        Mon Mar 17 12:55:37 2008 +0100
>> files:       dolfin/dolfin.h dolfin/main/dolfin.h
>> description:
>> Moved dolfin.h from dolfin/main to dolfin.
>>
>
> Looks like dolfin.h isn't being installed.

Sorry about that! Should be fixed now.

Johannes