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: [email protected] date: Mon Sep 21 15:26:01 2009 +0200 description: merg changeset: 7108:cffc37185789 user: [email protected] date: Mon Sep 21 15:25:46 2009 +0200 files: bench/fem/speedup/submit-bench description: merge changeset: 7107:3309f4b4a1cf parent: 7101:80617eeb8049 user: [email protected] 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 _______________________________________________ DOLFIN-dev mailing list [email protected] http://www.fenics.org/mailman/listinfo/dolfin-dev
