diff src/widgetprv.h @ 15762:9305e83c313d

Lots of timer feature updates. encode-time takes additional arguments and ignores them. Change linux to gnu/linux for system-type. More information about key translation features.
author Richard M. Stallman <rms@gnu.org>
date Tue, 23 Jul 1996 15:40:25 +0000
parents ee40177f6c68
children 23a1cea22d13
line wrap: on
line diff