chiark / gitweb /
Remove redundant entry from .desktop file