diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-04-30 21:33:31 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-04-30 21:33:31 +0100 |
commit | 2f8db31405fac68eea6f7257d58529243815033b (patch) | |
tree | 54259cc8988a98a10586fc0496b1f3501cd1e2a1 /media-sound/denemo/files/denemo-0.9.6-desktop.patch | |
parent | a4e2a46beb5e4858ef27bdedbb0ff6d2ced430ad (diff) |
gentoo resync : 30.04.2018
Diffstat (limited to 'media-sound/denemo/files/denemo-0.9.6-desktop.patch')
-rw-r--r-- | media-sound/denemo/files/denemo-0.9.6-desktop.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/media-sound/denemo/files/denemo-0.9.6-desktop.patch b/media-sound/denemo/files/denemo-0.9.6-desktop.patch deleted file mode 100644 index ade8c4595ed0..000000000000 --- a/media-sound/denemo/files/denemo-0.9.6-desktop.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- denemo-0.9.6/pixmaps/denemo.desktop -+++ denemo-0.9.6/pixmaps/denemo.desktop -@@ -4,7 +4,7 @@ - StartupNotify=true - Terminal=false - Type=Application --Categories=GNOME;Audio;AudioVideo;Music;Education -+Categories=GNOME;GTK;Audio;AudioVideo;Music;Education; - - Name=GNU Denemo - Name[de]=GNU Denemo |