dolfin team mailing list archive

Thread
Date

[HG DOLFIN] merge

To: dolfin-dev@xxxxxxxxxx
From: dolfin@xxxxxxxxxx (DOLFIN)
Date: Thu, 6 Nov 2008 13:02:37 +0100 (CET)
Delivered-to: dolfin-dev@xxxxxxxxxx

One or more new changesets pushed to the primary dolfin repository.
A short summary of the last three changesets is included below.

changeset:   5124:e4fa719615e3f688fec0fbd1a5919b8e5a3ca163
tag:         tip
parent:      5123:bda8ceea8ccfa0e1dd0e18c1deb7c2fac3db6ca5
parent:      5118:366366d04b06006ed54b2b24f133e576b6a4749e
user:        Kent-Andre Mardal <kent-and@xxxxxxxxx>
date:        Thu Nov 06 13:02:33 2008 +0100
files:       
description:
merge


changeset:   5123:bda8ceea8ccfa0e1dd0e18c1deb7c2fac3db6ca5
user:        Kent-Andre Mardal <kent-and@xxxxxxxxx>
date:        Thu Nov 06 13:02:23 2008 +0100
files:       site-packages/dolfin/boundary_finder.py
description:
removal


changeset:   5122:fbb076589e1693f8761bb9a02ee12b154b27c3ea
user:        Kent-Andre Mardal <kent-and@xxxxxxxxx>
date:        Thu Nov 06 12:57:38 2008 +0100
files:       site-packages/dolfin/boundary_subdomain_finder.py
description:
name change

----------------------------------------------------------------------
For more details, visit http://www.fenics.org/hg/dolfin