directory /gui/ @ 34433:8034d7f74800

name size permissions
[up] drwxr-xr-x
dir. skin/ drwxr-xr-x
dir. ui/ drwxr-xr-x
dir. util/ drwxr-xr-x
dir. win32/ drwxr-xr-x
dir. wm/ drwxr-xr-x
file app.c 7259 -rw-r--r--
file app.h 4094 -rw-r--r--
file cfg.c 16850 -rw-r--r--
file cfg.h 2276 -rw-r--r--
file interface.c 34236 -rw-r--r--
file interface.h 4044 -rw-r--r--