dolfin team mailing list archive
-
dolfin team
-
Mailing list archive
-
Message #15553
[HG DOLFIN] merge
One or more new changesets pushed to the primary dolfin repository.
A short summary of the last three changesets is included below.
changeset: 7121:f0f1b49bb36c
tag: tip
parent: 7120:44085dbb4007
parent: 7119:681d1c032e56
user: Anders Logg <logg@xxxxxxxxx>
date: Mon Sep 21 21:08:47 2009 +0200
description:
merge
changeset: 7120:44085dbb4007
parent: 7115:497754f70bde
user: Anders Logg <logg@xxxxxxxxx>
date: Mon Sep 21 21:08:26 2009 +0200
files: ChangeLog
description:
Update ChangeLog
changeset: 7119:681d1c032e56
parent: 7117:2c6cbf98930d
parent: 7118:9d6cec4122cc
user: "Garth N. Wells <gnw20@xxxxxxxxx>"
date: Mon Sep 21 19:15:25 2009 +0100
description:
merge.
----------------------------------------------------------------------
For more details, visit http://www.fenics.org/hg/dolfin