From ff6822e9aa640a0ee6eeb653e891a236a19a1e64 Mon Sep 17 00:00:00 2001
From: Richard Kreckel <Richard.Kreckel@uni-mainz.de>
Date: Mon, 7 Feb 2000 19:56:17 +0000
Subject: [PATCH] - Added Cint 5.4.25 to the list of working Cints

---
 INSTALL | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/INSTALL b/INSTALL
index 27873b62..f4d77cd6 100644
--- a/INSTALL
+++ b/INSTALL
@@ -92,4 +92,5 @@ Good luck!
 
   Known to work with:  |  Known not to work with:   
 -----------------------+----------------------------
-  Cint 5.14.26         |  Cint 5.14.29              
+  Cint 5.14.25         |  Cint 5.14.29              
+  Cint 5.14.26         |                            
-- 
2.45.0