diff make-dist @ 6543:33032ee16c7c

(Freplace_match): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Sun, 27 Mar 1994 07:51:45 +0000
parents 76d9b1408e5c
children 15e380b232fa
line wrap: on
line diff