dolfin team mailing list archive

[dolfin@xxxxxxxxxx (DOLFIN)]

One or more new changesets pushed to the primary dolfin repository.
A short summary of the last three changesets is included below.

changeset:   7109:ff5428df76dc
tag:         tip
parent:      7108:cffc37185789
parent:      7106:744caaf6a795
user:        logg@xxxxxxxxxxxxxxxxx
date:        Mon Sep 21 15:26:01 2009 +0200
description:
merg


changeset:   7108:cffc37185789
user:        logg@xxxxxxxxxxxxxxxxx
date:        Mon Sep 21 15:25:46 2009 +0200
files:       bench/fem/speedup/submit-bench
description:
merge


changeset:   7107:3309f4b4a1cf
parent:      7101:80617eeb8049
user:        logg@xxxxxxxxxxxxxxxxx
date:        Mon Sep 21 15:15:15 2009 +0200
files:       bench/fem/speedup/analyse-bench bench/fem/speedup/bench bench/fem/speedup/commit-bench bench/fem/speedup/submit-bench
description:
Rename commit-bench --> submit-bench and some cleanups

----------------------------------------------------------------------
For more details, visit http://www.fenics.org/hg/dolfin