directory /gui/wm/ @ 24267:70437b99ccee

name size permissions
[up] drwxr-xr-x
file ws.c 41720 -rw-r--r--
file ws.h 8911 -rw-r--r--
file wskeys.h 3694 -rw-r--r--
file wsmkeys.h 3094 -rw-r--r--
file wsxdnd.c 6127 -rw-r--r--
file wsxdnd.h 2557 -rw-r--r--