From: Jim Meyering Date: Mon, 17 Jan 2000 22:37:32 +0000 (+0000) Subject: *** empty log message *** X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cc93db838ba66c6c7610c25ccc3a7ad4b8bc7d13;p=pspp *** empty log message *** --- diff --git a/lib/ChangeLog b/lib/ChangeLog index 39b5921c2c..819f7e535e 100644 --- a/lib/ChangeLog +++ b/lib/ChangeLog @@ -1,3 +1,7 @@ +2000-01-17 Jim Meyering + + * interlock: Remove unused file. Reported by François Pinard. + 2000-01-16 Paul Eggert * lib/quotearg.c (quotearg_buffer_restyled): Do not quote