diff options
| -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- |