Subject: [Instant-dev] [HG instant] merge

From: [email-masked] (Instant)
Date: Mon, 20 Oct 2008 14:42:31 +0200 (CEST)

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

changeset:   259:1c70b74524a703c206f8f0522e585c13f9405103
tag:         tip
parent:      258:b4e909908f7c009f297c12bb1d51a1c169e4b8c1
parent:      256:3a1dd0900366b8698aadcc8d64d01ccdc278429d
user:        Kent-Andre Mardal <[email-masked]>
date:        Mon Oct 20 14:42:30 2008 +0200
files:       
description:
merge

changeset:   258:b4e909908f7c009f297c12bb1d51a1c169e4b8c1
user:        Kent-Andre Mardal <[email-masked]>
date:        Mon Oct 20 14:42:14 2008 +0200
files:       etc/maketarball.sh
description:
updated maketarball once again

changeset:   257:0ae776aae0c33422f8e031c71f809f48f77424d4
parent:      255:7c3d2a4262e08a0c0d3a4b1f0d55ff974fbc26d9
user:        Kent-Andre Mardal <[email-masked]>
date:        Mon Oct 20 14:40:15 2008 +0200
files:       etc/maketarball.sh
description:
updated maketarball.sh script

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