directory /gui/wm/ @ 24714:d6d3ee8591fe

name size permissions
[up] drwxr-xr-x
file ws.c 41720 -rw-r--r--
file ws.h 8873 -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--