From acee9e75a4577f55138457204d01b37bdfa8e266 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 28 Jun 2004 15:25:13 +0000
Subject: [PATCH] * buddy/: Merge buddy-2-3.

---
 ChangeLog | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 7a83ea388..3697b1c36 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2004-06-28  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* buddy/: Merge buddy-2-3.
+
 2004-06-25  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbatest/ltl2tgba.cc (main): Degeneralize before