# HG changeset patch # User Juanma Barranquero # Date 1202178641 0 # Node ID 6b3001cc9ca9813c89d3a68cabb4effd573f38b6 # Parent e1b6ef5c6464d189b1eaf762ee7ffa5ba746d3c8 *** empty log message *** diff -r e1b6ef5c6464 -r 6b3001cc9ca9 src/w32.c --- a/src/w32.c Tue Feb 05 02:29:05 2008 +0000 +++ b/src/w32.c Tue Feb 05 02:30:41 2008 +0000 @@ -1591,7 +1591,7 @@ return FALSE; } -/* Map filename to a legal 8.3 name if necessary. */ +/* Map filename to a valid 8.3 name if necessary. */ const char * map_w32_filename (const char * name, const char ** pPath) {