diff --git a/media-sound/mixxx/files/mixxx-1.12.9999-desktop-file.patch b/media-sound/mixxx/files/mixxx-1.12.9999-desktop-file.patch deleted file mode 100644 index e885267..0000000 --- a/media-sound/mixxx/files/mixxx-1.12.9999-desktop-file.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/res/linux/mixxx.desktop 2015-09-10 22:28:43.231867210 +0200 -+++ b/res/linux/mixxx.desktop 2015-09-10 22:28:53.331800347 +0200 -@@ -3,7 +3,7 @@ - Name=Mixxx - GenericName=Digital DJ interface - Comment=A digital DJ interface --Exec=pasuspender mixxx || mixxx -+Exec=pasuspender mixxx - Terminal=false - Icon=mixxx-icon - Type=Application