diff etc/SERVICE @ 59057:92202f639066

(Event Input Misc): Add while-no-input.
author Richard M. Stallman <rms@gnu.org>
date Tue, 21 Dec 2004 11:46:47 +0000
parents 695cf19ef79e
children 3681678d3d86 375f2633d815
line wrap: on
line diff