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

From: [email-masked] (FFC)
Date: Fri, 8 Jun 2007 10:27:07 +0200 (CEST)

changeset:   855:c039c5364d26ac0445d62c57da0e6205382af352
tag:         tip
parent:      850:6ed62b0e758475e649cecba5d1ac2bcf414ac877
parent:      854:0e1ceb2dc67ec2825eae7b0354ae32b1dd717b0b
user:        "Anders Logg <[email-masked]>"
date:        Fri Jun 08 10:24:16 2007 +0200
files:       
description:
merge