From 78cf925ea6b8514b81630217577a05b6c5cee49f Mon Sep 17 00:00:00 2001
From: Boris Boesler <boesler@ipd.info.uni-karlsruhe.de>
Date: Tue, 6 Mar 2001 09:18:12 +0000
Subject: [PATCH] *** empty log message ***

[r111]
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index 0591a8551..6d26feaff 100755
--- a/configure
+++ b/configure
@@ -1,6 +1,6 @@
 #! /bin/sh
 
-# From configure.in Id
+# From configure.in Id: configure.in
 
 
 
-- 
2.20.1