Subject: [Dorsal-dev] [HG dorsal] Updated viper version and removed a patch for it (since it is incorporated in current stable)

From: [email-masked] (Dorsal)
Date: Thu, 12 Nov 2009 11:53:06 +0100 (CET)

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

changeset:   290:0e4ccc94a6e5
tag:         tip
user:        Harish Narayanan <[email-masked]>
date:        Thu Nov 12 11:52:35 2009 +0100
files:       packages/viper-stable.package patches/viper.patch
description:
Updated viper version and removed a patch for it (since it is incorporated in current stable)

changeset:   289:a414369980e7
user:        Harish Narayanan <[email-masked]>
date:        Wed Nov 11 09:13:12 2009 +0100
files:       dorsal.sh
description:
Sniff out fedora11 automatically (untested)

changeset:   288:c177375e3acc
user:        Harish Narayanan <[email-masked]>
date:        Wed Nov 11 09:04:04 2009 +0100
files:       AUTHORS ChangeLog README
description:
Updated author list, changelog and readme to reflect recent changes

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