From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 21 Mar 2013 00:00:40 +0000 (-0400)
Subject: Remove unintentionally-committed-to-master README from interactive branch
X-Git-Tag: cvc5-1.0.0~7381
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6106f021745ffc7ebc068f762a196140deb9d48d;p=cvc5.git

Remove unintentionally-committed-to-master README from interactive branch
---

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