dolfin team mailing list archive

[Bartosz Sawicki <sawickib@xxxxxxxxxxxxx>]

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.


cheers,
BArtosz