OOn Wed, Apr 15, 2009 at 03:29:33PM -0600, Bartosz Sawicki wrote: > > 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.
Yes, I only pushed to a local repository. Pushed now. -- Anders
signature.asc
Description: Digital signature
_______________________________________________ DOLFIN-dev mailing list [email protected] http://www.fenics.org/mailman/listinfo/dolfin-dev
