Subject: [Dorsal-dev] [HG dorsal] merge.

From: [email-masked] (Dorsal)
Date: Wed, 30 Sep 2009 14:16:52 +0200 (CEST)

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

changeset:   254:a68db33b7c64
tag:         tip
parent:      253:d4c09867c277
parent:      252:3d045b2858bd
user:        "Garth N. Wells <[email-masked]>"
date:        Wed Sep 30 13:16:49 2009 +0100
files:       packages/petsc.package
description:
merge.

changeset:   253:d4c09867c277
parent:      251:e61cf6e05d4f
user:        "Garth N. Wells <[email-masked]>"
date:        Wed Sep 30 13:16:29 2009 +0100
files:       packages/petsc.package packages/petscwithmumps.package
description:
Use http to download pestc

ftp doesn't seem to always work.

changeset:   252:3d045b2858bd
user:        Harish Narayanan <[email-masked]>
date:        Wed Sep 30 12:07:17 2009 +0200
files:       packages/petsc.package
description:
Reverted petsc to work on more platforms

----------------------------------------------------------------------
For more details, visit http://www.fenics.org/dev/dorsal