directory /gui/wm/ @ 32664:6d08af681d54

name size permissions
[up] drwxr-xr-x
file ws.c 41717 -rw-r--r--
file ws.h 9252 -rw-r--r--
file wskeys.h 4487 -rw-r--r--
file wsmkeys.h 3870 -rw-r--r--
file wsxdnd.c 6799 -rw-r--r--
file wsxdnd.h 3361 -rw-r--r--