diff src/.gdbinit @ 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 c17438f97e46
children aca7edaa93d4 14e5707213a6 4c90ffeb71c5
line wrap: on
line diff