tree de589973769d4d749ae94734ea2233e17de77f6f
parent 81cae17c9f7c4c235f07a9c83bf83dc5df0bf442
author Richard Weinberger <richard@nod.at> 1638661931 +0100
committer Richard Weinberger <richard@nod.at> 1639685731 +0100

Remove poll.rs

Since we're using now mio, we can remove our own poll interface.

Signed-off-by: Richard Weinberger <richard@nod.at>