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 <[EMAIL PROTECTED]> >> 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 _______________________________________________ DOLFIN-dev mailing list [email protected] http://www.fenics.org/mailman/listinfo/dolfin-dev
