diff configure1.in @ 20017:0bef1d3ea752

(echo-keystrokes): Fix customize type.
author Karl Heuer <kwzh@gnu.org>
date Thu, 02 Oct 1997 02:57:01 +0000
parents c1e70445780e
children
line wrap: on
line diff