diff Gui/wm/ws.h @ 12039:c80409b9bb38

small correction as suggested by Nico
author diego
date Wed, 17 Mar 2004 16:59:24 +0000
parents 2608bf0037b6
children 3047f69e3d74
line wrap: on
line diff