From: Paul Eggert <eggert@cs.ucla.edu>
Date: Mon, 13 Sep 2004 11:08:24 +0000 (+0000)
Subject: * srclist.txt: Comment out argp-pvh.c.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0c49a08f535755367b37b5759afadd919cf6c86e;hp=c6260e6d3635f826e613760ad95861e258024079;p=pspp

* srclist.txt: Comment out argp-pvh.c.
---

diff --git a/config/ChangeLog b/config/ChangeLog
index cda64db1f9..be2a59103e 100644
--- a/config/ChangeLog
+++ b/config/ChangeLog
@@ -1,3 +1,7 @@
+2004-09-13  Paul Eggert  <eggert@cs.ucla.edu>
+
+	* srclist.txt: Comment out argp-pvh.c.
+
 2004-08-12  Paul Eggert  <eggert@cs.ucla.edu>
 
 	* srclist.txt: Remove getopt.c, getopt.h (renamed to getopt_.h),