diff Gui/wm/ws.c @ 10180:3f3b7829dce8

The linux directory is now called osdep.
author diego
date Sun, 25 May 2003 00:21:18 +0000
parents 2f9e8ff57e9e
children 2608bf0037b6
line wrap: on
line diff