instant team mailing list archive
-
instant team
-
Mailing list archive
-
Message #00214
[HG instant] merge
One or more new changesets pushed to the primary instant repository.
A short summary of the last three changesets is included below.
changeset: 209:0c5193022ab3f372225b924ffdddc64287e5e614
tag: tip
parent: 208:e792bd713cc58ea210c25714210d8c78907f7283
parent: 207:1ab50e72852091167c43c9cc43e780cdefac2cde
user: "Martin Sandve Alnæs <martinal@xxxxxxxxx>"
date: Wed Sep 03 08:04:31 2008 +0200
files:
description:
merge
changeset: 208:e792bd713cc58ea210c25714210d8c78907f7283
parent: 204:c0526d7ae13bef129aa1fb1a110a30371d7f4ec0
user: "Martin Sandve Alnæs <martinal@xxxxxxxxx>"
date: Wed Sep 03 08:04:18 2008 +0200
files: TODO
description:
Updated TODO list. Planning on some more renaming and cache improvement.
changeset: 207:1ab50e72852091167c43c9cc43e780cdefac2cde
user: Kent-Andre Mardal <kent-and@xxxxxxxxx>
date: Tue Sep 02 22:23:14 2008 +0200
files: tests/run_tests.sh
description:
bug fix in run_tests.sh
----------------------------------------------------------------------
For more details, visit http://www.fenics.org/hg/instant