Subject: [Dorsal-dev] [HG dorsal] Add another package.

From: [email-masked] (Dorsal)
Date: Tue, 29 Sep 2009 21:04:15 +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:   248:f75a3e5ac814
tag:         tip
user:        "Garth N. Wells <[email-masked]>"
date:        Tue Sep 29 20:04:12 2009 +0100
files:       platforms/rhel5.platform
description:
Add another package.

changeset:   247:ef549116bfc7
user:        "Garth N. Wells <[email-masked]>"
date:        Tue Sep 29 19:01:20 2009 +0100
files:       packages/petsc.package packages/petscwithoutmpi.package
description:
Update PETSc version.

changeset:   246:4430bc2ca5e2
parent:      245:cee4be97f443
parent:      244:9e8aca01d00f
user:        "Garth N. Wells <[email-masked]>"
date:        Tue Sep 29 18:12:28 2009 +0100
description:
merge.

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