diff make-dist @ 7191:bd2f9c5ee54e

(Fsingle_key_description): Undo previous change. (describe_map): Skip string entries.
author Karl Heuer <kwzh@gnu.org>
date Fri, 29 Apr 1994 06:05:19 +0000
parents 15e380b232fa
children 5a03fc943b38
line wrap: on
line diff