diff Gui/wm/ws.c @ 8460:d09c74452323

this fixes compilation for me (and it works), hope it didn't breaks for LinuxPPC (i use Debian/PPC with 2.4.20 kernel)
author alex
date Sun, 15 Dec 2002 18:22:16 +0000
parents 851e974e6eaa
children 7988573021e8
line wrap: on
line diff