diff debian/menu @ 22206:65f41cc3c3b9

We definitely want to avoid an emulated poll()
author reimar
date Thu, 15 Feb 2007 18:24:12 +0000
parents c9e946b14b44
children
line wrap: on
line diff