diff Gui/wm/ws.c @ 3733:8dcc18663e60

warning fix
author pl
date Tue, 25 Dec 2001 16:38:07 +0000
parents 38df49b91824
children a97f908988ed
line wrap: on
line diff