Tried changing .desktop according to recommendations of freedesktop.org and the GNOME HIG
[supertux.git] / contrib /
drwxr-xr-x   ..
drwxr-xr-x - kdevelop
-rw-r--r-- 11798 supertux-coop.diff
-rw-r--r-- 37367 supertux-nogl.diff