comparison 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
comparison
equal deleted inserted replaced
10179:832182cacfe6 10180:3f3b7829dce8