mac_pollterm() is no longer useful and can be retired.
[u/mdw/putty] / doc / man-putt.but
2004-03-24 simonNow that Halibut is capable of generating man pages...