ffc team mailing list archive

[ffc@xxxxxxxxxx (FFC)]

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

changeset:   1241:728a8f0bd48785b8c9ea3175c96e0bbede4a7426
tag:         tip
user:        "Garth N. Wells <gnw20@xxxxxxxxx>"
date:        Mon Oct 20 22:08:28 2008 +0100
files:       scripts/makedist
description:
More makedist fixes.


changeset:   1240:fbb6d1aaed699626d2736dbc75ab6dea350f241f
user:        "Garth N. Wells <gnw20@xxxxxxxxx>"
date:        Mon Oct 20 22:06:44 2008 +0100
files:       scripts/makedist
description:
More makedist updates.


changeset:   1239:22c7eeb80730e6a380d4e005cfe7dc126c4e683d
user:        "Garth N. Wells <gnw20@xxxxxxxxx>"
date:        Mon Oct 20 22:05:02 2008 +0100
files:       ChangeLog scripts/makedist
description:
Update makedist script.

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