X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2FChangeLog;h=be2a59103e98837acafc4b51212e88e58a969b90;hb=0c49a08f535755367b37b5759afadd919cf6c86e;hp=cda64db1f96b9ea821b29dc53ec477b30b6fdaf4;hpb=c6260e6d3635f826e613760ad95861e258024079;p=pspp

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),