directory /gui/wm/ @ 35816:f2bb2d68fe52

name size permissions
[up] drwxr-xr-x
file ws.c 42724 -rw-r--r--
file ws.h 5784 -rw-r--r--
file wsxdnd.c 6814 -rw-r--r--
file wsxdnd.h 3413 -rw-r--r--