directory /Gui/wm/ @ 7485:d772e0caac7b

name size permissions
[up] drwxr-xr-x
file widget.h 89 -rw-r--r--
file ws.c 44443 -rw-r--r--
file ws.h 8837 -rw-r--r--
file wskeys.h 3612 -rw-r--r--
file wsmkeys.h 2984 -rw-r--r--
file wsxdnd.c 6088 -rw-r--r--
file wsxdnd.h 2543 -rw-r--r--