dolfin team mailing list archive

[Anders Logg <logg@xxxxxxxxx>]

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 <gnw20@xxxxxxxxx>"
> 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

Attachment: signature.asc
Description: Digital signature