diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2014-07-26 20:16:53 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2014-07-26 20:16:53 +0200 |
| commit | e35183a65331f38043739e6a5954736ccbe1078d (patch) | |
| tree | e4370c28f784452858e4bb82fb55cf3ce0c4cb5c | |
| parent | fb95c63a84602fdc7c5e448077b77c53845fb558 (diff) | |
Fix exclude MIDI patches (bug#612509).
| -rw-r--r-- | profiles/desktop-media | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/profiles/desktop-media b/profiles/desktop-media index f367f0c..c879123 100644 --- a/profiles/desktop-media +++ b/profiles/desktop-media @@ -3,3 +3,6 @@ pulseaudio pavucontrol pulseaudio-esound-compat # include mplayer2, with desktop and web browser wrappers mplayer2 gecko-mediaplayer +# exclude MIDI patches +#Bug#612509 +freepats- |