Tried changing .desktop according to recommendations of freedesktop.org and the GNOME HIG
[supertux.git] / mk /
drwxr-xr-x   ..
drwxr-xr-x - autoconf
drwxr-xr-x - cmake
drwxr-xr-x - jam
drwxr-xr-x - msvc