From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Thu, 12 Jul 2012 18:32:08 +0000 (+0000)
Subject: removing readme from fmf-devel
X-Git-Tag: cvc5-1.0.0~7934
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=587e71e5de725968d8924cceb91c79d615edb660;p=cvc5.git

removing readme from fmf-devel
---

diff --git a/README.fmf-devel b/README.fmf-devel
deleted file mode 100644
index e35bcab5b..000000000
--- a/README.fmf-devel
+++ /dev/null
@@ -1 +0,0 @@
-This branch is used for development of the finite model finding mode of CVC4.