directory /gui/wm/ @ 35726:bbc4ec3bf5bc

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