diff make-dist @ 1802:456ebec04db7

(Frecent_keys): Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Fri, 15 Jan 1993 21:57:50 +0000
parents a1f3c3317dd4
children c97e3a38444c
line wrap: on
line diff