Anders Logg wrote: > Done. > Haven't you forgot to push the changes to the main repository? I can't find your commit.
$ hg pull && hg update && hg tip pulling from http://www.fenics.org/hg/dolfin searching for changes no changes found 0 files updated, 0 files merged, 0 files removed, 0 files unresolved changeset: 5975:580b6240296e tag: tip user: "Garth N. Wells <[email protected]>" date: Wed Apr 15 12:19:24 2009 +0800 summary: Add/remove TODO items. cheers, BArtosz _______________________________________________ DOLFIN-dev mailing list [email protected] http://www.fenics.org/mailman/listinfo/dolfin-dev
