diff make-dist @ 7809:cf23573fa6fb

(Fkey_description): Avoid using Fmapconcat--do it directly.
author Richard M. Stallman <rms@gnu.org>
date Sun, 05 Jun 1994 18:30:59 +0000
parents 6191acd134b6
children cba3121c44b7
line wrap: on
line diff