wok-4.x /diggerjs/stuff/usr/share/applications/

name size permissions
[up] drwxr-xr-x
file boulder.desktop 167 -rw-r--r--
file digger.desktop 160 -rw-r--r--
file gnome.desktop 172 -rw-r--r--