diff Gui/wm/ws.h @ 18479:28119382dc02

synced with 1.1288
author gabrov
date Sat, 13 May 2006 15:18:14 +0000
parents 2608bf0037b6
children 3047f69e3d74
line wrap: on
line diff