dolfin team mailing list archive
-
dolfin team
-
Mailing list archive
-
Message #15517
[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: 7111:ecfb53c48ec0
tag: tip
parent: 7110:6888dd746e55
parent: 7109:ff5428df76dc
user: Anders Logg <logg@xxxxxxxxx>
date: Mon Sep 21 15:26:17 2009 +0200
files: bench/fem/speedup/commit-bench
description:
merge
changeset: 7110:6888dd746e55
parent: 7098:1c6eb6119002
user: Anders Logg <logg@xxxxxxxxx>
date: Mon Sep 21 15:26:09 2009 +0200
files: site-packages/dolfin/norm.py
description:
Change dot --> inner in norm.py
changeset: 7109:ff5428df76dc
parent: 7108:cffc37185789
parent: 7106:744caaf6a795
user: logg@xxxxxxxxxxxxxxxxx
date: Mon Sep 21 15:26:01 2009 +0200
description:
merg
----------------------------------------------------------------------
For more details, visit http://www.fenics.org/hg/dolfin