One or more new changesets pushed to the primary dolfin repository. A short summary of the last three changesets is included below.
changeset: 7077:9e49f05d146d68dc5b19ef6d27bc075e3774748b tag: tip parent: 7076:37ead61734ce1584a4d5088f9fe755df70bc00f5 parent: 7075:790c32e67ef85a84b27627aa73bf745ef1e1f76a user: "Garth N. Wells <[email protected]>" date: Wed Sep 16 18:05:14 2009 +0200 files: description: merge. changeset: 7076:37ead61734ce1584a4d5088f9fe755df70bc00f5 parent: 7073:9a4a270d205ef8dc132452137ed2cbf841fde389 user: "Garth N. Wells <[email protected]>" date: Wed Sep 16 18:04:22 2009 +0200 files: TODO description: Clean out TODO file. changeset: 7075:790c32e67ef85a84b27627aa73bf745ef1e1f76a parent: 7074:0cc2d43dec19ba4b94a9aa1f9bae44b033936d56 parent: 7073:9a4a270d205ef8dc132452137ed2cbf841fde389 user: Anders Logg <[email protected]> date: Wed Sep 16 17:46:05 2009 +0200 files: 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
