diff ChangeLog @ 45599:0d76cec6c777

*** empty log message ***
author Eli Zaretskii <eliz@gnu.org>
date Fri, 31 May 2002 15:13:32 +0000
parents 6ed544427270
children 16708fb2d951
line wrap: on
line diff
--- a/ChangeLog	Fri May 31 15:13:10 2002 +0000
+++ b/ChangeLog	Fri May 31 15:13:32 2002 +0000
@@ -1,3 +1,7 @@
+2002-05-31  Eli Zaretskii  <eliz@is.elta.co.il>
+
+	* config.bat: Handle the case when lispintro is truncated to lispintr.
+
 2002-05-26  Paul Eggert  <eggert@twinsun.com>
 
 	* config.guess, config.sub: Updated from master source.