ChangeLog: drop some text that appears to have been copied by mistake

In particular, the text was copied by 9fe3e28 (isl 0.10,
Sun Jun 3 15:47:09 2012 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/ChangeLog b/ChangeLog
index e8b2146..afe4b05 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -97,8 +97,4 @@ changes:
        - fix several hard to trigger bugs
        - improved argument parsing
        - support parametric vertex enumeration for barvinok
----
-version: 0.08
-date: Fri Oct 21 12:36:20 CEST 2011
-changes:
        - optionally use Bernstein expansion to compute bounds