Subject: [FFC-dev] [HG FFC] merge

From: [email-masked] (FFC)
Date: Thu, 7 Jun 2007 10:38:25 +0200 (CEST)

changeset:   848:6556e8a8558d9aa08212209d096fb99d03c6447e
tag:         tip
parent:      845:ab650dc40daeca3b1e2dff6f58987a9c95685569
parent:      847:84a885aff52f8fb59a1b909ed708f5d7b62c6d57
user:        "Anders Logg <[email-masked]>"
date:        Thu Jun 07 10:26:49 2007 +0200
files:       
description:
merge