diff msdos/sed3.inp @ 8673:6d1d308ff12d

(input_polling_used): New function.
author Richard M. Stallman <rms@gnu.org>
date Wed, 31 Aug 1994 04:14:02 +0000
parents 565b1e27c14c
children 7826b6c2b6e8
line wrap: on
line diff