wok-next /gnome-desktop/stuff/patches/

name size permissions
[up] drwxr-xr-x
file fix-xml.patch 3287 -rw-r--r--
file series 14 -rw-r--r--