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/metadata.xml | |
| 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/metadata.xml')
| -rw-r--r-- | media-sound/denemo/metadata.xml | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/media-sound/denemo/metadata.xml b/media-sound/denemo/metadata.xml deleted file mode 100644 index 056cd93b5bd8..000000000000 --- a/media-sound/denemo/metadata.xml +++ /dev/null @@ -1,12 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> -<maintainer type="project"> - <email>sound@gentoo.org</email> - <name>Gentoo Sound project</name> -</maintainer> -<use> - <flag name="fluidsynth">Enable Fluidsynth MIDI software synthesis</flag> - <flag name="portmidi">Enable support for the portmidi backend</flag> -</use> -</pkgmetadata> |