From 587e71e5de725968d8924cceb91c79d615edb660 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Thu, 12 Jul 2012 18:32:08 +0000 Subject: [PATCH] removing readme from fmf-devel --- README.fmf-devel | 1 - 1 file changed, 1 deletion(-) delete mode 100644 README.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. -- 2.30.2