projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6579854)
removing readme from fmf-devel
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 12 Jul 2012 18:32:08 +0000 (18:32 +0000)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 12 Jul 2012 18:32:08 +0000 (18:32 +0000)
README.fmf-devel [deleted file] patch | blob | history

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