comparison src/wait.inc @ 573:cf4395595d9b

docu update
author heinrichsweikamp
date Tue, 13 Feb 2018 14:55:43 +0100
parents 653a3ab08062
children b455b31ce022
comparison
equal deleted inserted replaced
572:0039f057b90f 573:cf4395595d9b