Subject: [Deb-dev] [HG DebianPackages] Updates.

From: [email-masked] (Debian packages)
Date: Fri, 2 May 2008 08:56:36 +0200 (CEST)

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

changeset:   85:70aa010d0d47983ebe76241da62f6e1b8117503c
tag:         tip
user:        Johannes Ring <[email-masked]>
date:        Fri May 02 08:56:16 2008 +0200
files:       conf/files_fiat/changelog conf/files_fiat/control conf/files_fiat/dirs conf/files_fiat/rules
description:
Updates.

changeset:   84:9c5b8c384e96f9d7ae964e041e0d7947bed46a66
user:        Johannes Ring <[email-masked]>
date:        Fri May 02 08:44:21 2008 +0200
files:       conf/files_ferari/changelog conf/files_ferari/control conf/files_ferari/dirs
description:
Updates.

changeset:   83:7c44c95da26dd13ddc74edb577daac9fc6daf546
user:        Johannes Ring <[email-masked]>
date:        Fri May 02 08:37:18 2008 +0200
files:       conf/files_ufc/changelog conf/files_ufc/control conf/files_ufc/dirs conf/files_ufc/docs
description:
Updated UFC config files.

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