diff man/building.texi @ 27424:b696009c6586

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