Subject: [FEniCS-dev] Don't pull from syfi

From: "Martin Sandve Alnæs" <[email-masked]>
Date: Thu, 28 Feb 2008 16:09:30 +0100

As part of preparing a release of syfi we've deleted the old
repository and created a new one, so don't pull from syfi now. When we
announce the release (very soon), you should download the tarball or
clone a fresh copy instead.

--
Martin