From: Jim Meyering Date: Thu, 24 May 2001 06:12:07 +0000 (+0000) Subject: *** empty log message *** X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fcd607cae560fca1a4738be40ab79c3fb71657d4;p=pspp *** empty log message *** --- diff --git a/lib/ChangeLog b/lib/ChangeLog index ede5ffdf8e..4af2febd6c 100644 --- a/lib/ChangeLog +++ b/lib/ChangeLog @@ -1,3 +1,9 @@ +2001-05-24 Jim Meyering + + * argmatch.c: Include "quote.h". + (argmatch_invalid): Remove explicit `' quotes. Instead, use the + quote function. Reported by Göran Uddeborg. + 2001-05-20 Alexandre Duret-Lutz * dirname.c (dir_name): Compute append_dot using path, not newpath