directory /gui/wm/ @ 31569:558b94cefb61

name size permissions
[up] drwxr-xr-x
file ws.c 41928 -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--