One or more new changesets pushed to the primary dolfin repository. A short summary of the last three changesets is included below.
changeset: 7370:f683abbcea92 tag: tip user: "Johan Hake <[email protected]>" date: Mon Oct 12 19:57:53 2009 +0200 files: dolfin/swig/parameter_pre.i description: A bugfix when GMP is enabled changeset: 7369:9f2b0d271bae user: Anders Logg <[email protected]> date: Mon Oct 12 19:07:14 2009 +0200 files: ChangeLog description: Update ChangeLog with Marie's fix changeset: 7368:6eb93c584e5f parent: 7367:6e74f7e8f2d3 parent: 7365:613df8d6ac58 user: Anders Logg <[email protected]> date: Mon Oct 12 19:06:27 2009 +0200 description: merge ---------------------------------------------------------------------- For more details, visit http://www.fenics.org/hg/dolfin _______________________________________________ DOLFIN-dev mailing list [email protected] http://www.fenics.org/mailman/listinfo/dolfin-dev
