diff Gui/wm/ws.c @ 17322:e7b66215cf79

build fix
author diego
date Thu, 05 Jan 2006 23:33:20 +0000
parents 0e1471d9da74
children 8579acff875e
line wrap: on
line diff