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

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

changeset:   845:ab650dc40daeca3b1e2dff6f58987a9c95685569
tag:         tip
parent:      843:8461ddf255e10b7b5c7b8ec1998f3771f937185d
parent:      844:8d5b65e0f81e55e219fc2bed37d3b9f5d9a1a1e0
user:        "Anders Logg <[email-masked]>"
date:        Thu Jun 07 10:24:51 2007 +0200
files:       
description:
merge