diff man/makefile.w32-in @ 56325:06c785c5e655

(query-replace-read-args): Swallow space after symbols, not after closeparens. But avoid error if string ends there.
author Richard M. Stallman <rms@gnu.org>
date Fri, 02 Jul 2004 23:52:14 +0000
parents 791c3ae193fc
children 55fd4f77387a 6f6e9fe4658b
line wrap: on
line diff