diff gui/wm/ws.c @ 36466:9824daf4a867

Simpler/more robust cleanup code.
author reimar
date Tue, 31 Dec 2013 15:31:15 +0000
parents f5e428d7991b
children eed2fb870f43
line wrap: on
line diff