diff man/custom.texi @ 27424:b696009c6586

(polling_for_input): Removed.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 25 Jan 2000 15:52:54 +0000
parents ff77115434db
children e7cf77f27506
line wrap: on
line diff