projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 04e3d0a)
Remove unintentionally-committed-to-master README from interactive branch
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 21 Mar 2013 00:00:40 +0000 (20:00 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 21 Mar 2013 00:00:55 +0000 (20:00 -0400)
README.interactive [deleted file] patch | blob | history

diff --git a/README.interactive b/README.interactive
deleted file mode 100644 (file)
index 2fcc6c2..0000000
--- a/README.interactive
+++ /dev/null
@@ -1,2 +0,0 @@
-The interactive branch is intended to merge the user-interactive
-and tool-interactive modes.