diff src/wait.inc @ 139:e0b758865e91

some cleanup
author heinrichsweikamp
date Thu, 17 Jul 2014 17:56:09 +0200
parents 11d4fc797f74
children 653a3ab08062
line wrap: on
line diff