directory /gui/wm/ @ 34568:ad22be82d79a

name size permissions
[up] drwxr-xr-x
file ws.c 46439 -rw-r--r--
file ws.h 8441 -rw-r--r--
file wsxdnd.c 6809 -rw-r--r--
file wsxdnd.h 3345 -rw-r--r--