diff make-dist @ 16129:f6c51da4c4e3

(perform-replace): Increment replace-count in the places where we do the replacement.
author Richard M. Stallman <rms@gnu.org>
date Wed, 04 Sep 1996 17:13:24 +0000
parents ffc0af16b32a
children 9694822642a7
line wrap: on
line diff