On Wed, Mar 11, 2009 at 09:28:03AM +0100, 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: 5844:d96e74a8db2775ebf012b63b61ad4e3e0709b44a
tag: tip
parent: 5843:2c7ce2fe582860ff4b1b09e9e56fae85b4dc1654
parent: 5842:d5b04a5fe9157e7062c77dfa6734a3c1b0d7eb83
user: "Ola Skavhaug <skavhaug@xxxxxxxxx>"
date: Wed Mar 11 09:32:51 2009 +0100
files:
description:
merge
changeset: 5843:2c7ce2fe582860ff4b1b09e9e56fae85b4dc1654
parent: 5839:bea36bed30cac73ed100ee403de7a92928f13f7d
user: "Ola Skavhaug <skavhaug@xxxxxxxxx>"
date: Wed Mar 11 09:32:40 2009 +0100
files: dolfin/io/NewXMLFile.cpp dolfin/io/NewXMLFile.h dolfin/io/NewXMLGraph.cpp dolfin/io/NewXMLGraph.h dolfin/io/XMLFile.cpp
description:
Added NewXMLGraph to new XML parsing system.
We're not using the Graph library anymore as far as I know. Perhaps it
should be removed?