diff make-dist @ 2156:706a869e685d

(query-replace-map): New keymap. (perform-replace): Use query-replace-map. (query-replace, query-replace-regexp, map-query-replace-regexp): (replace-string, replace-regexp): Don't print `done' if unread chars.
author Richard M. Stallman <rms@gnu.org>
date Fri, 12 Mar 1993 12:04:55 +0000
parents 4b2a76f0d640
children 0b629ab3f06a
line wrap: on
line diff