From: Karl Berry <karl@freefriends.org>
Date: Tue, 15 Jul 2003 12:47:54 +0000 (+0000)
Subject: .
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=773156cf1730dabd6e56904b63ba391506d3893f;p=pspp

.
---

diff --git a/config/ChangeLog b/config/ChangeLog
index 38d9175c93..fbb1b642f6 100644
--- a/config/ChangeLog
+++ b/config/ChangeLog
@@ -1,3 +1,8 @@
+2003-07-15    <karl@gnu.org>
+
+	* srclist-update (fixfile): grep for $Id: ChangeLog,v 1.28 2003-07-15 12:47:54 karl Exp $Id: ChangeLog,v 1.28 2003-07-15 12:47:54 karl Exp $, since the
+	latter gets expanded.
+
 2003-07-14  Paul Eggert  <eggert@twinsun.com>
 
 	* srclist.txt: Add tons more gettext files.  $GETTEXT is now