diff options
| author |   Pacho Ramos <pacho@gentoo.org> | 2018-04-29 20:13:13 +0200 |
|---|---|---|
| committer | Pacho Ramos <pacho@gentoo.org> | 2018-04-29 20:13:36 +0200 |
| commit | ec7079c0c95dd1dac40e7b67fba9383a5498dcb8 (patch) | |
| tree | 6eb1dba2c2ead27248000017adc912b6ada44446 /media-sound/denemo/files | |
| parent | games-board/freedoko: Drop old (diff) | |
| download | gentoo-ec7079c0c95dd1dac40e7b67fba9383a5498dcb8.tar.gz gentoo-ec7079c0c95dd1dac40e7b67fba9383a5498dcb8.tar.bz2 gentoo-ec7079c0c95dd1dac40e7b67fba9383a5498dcb8.zip | |
Remove masked for removal package
Diffstat (limited to 'media-sound/denemo/files')
| -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 |