From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 3 Dec 2013 17:36:46 +0000 (-0500)
Subject: rm ChangeLog (use NEWS)
X-Git-Tag: cvc5-1.0.0~7221
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0f3345061b504b86a00a6aa66fff239000ebcef3;p=cvc5.git

rm ChangeLog (use NEWS)
---

diff --git a/ChangeLog b/ChangeLog
deleted file mode 100644
index 630e398d4..000000000
--- a/ChangeLog
+++ /dev/null
@@ -1,3 +0,0 @@
-2009-11-02  Morgan Deters  <mdeters@morgandeters.com>
-
-	* Active prototyping ongoing