From acb4d76f3891691c665e41aa2563fd2fbba192ec Mon Sep 17 00:00:00 2001 From: rbuj Date: Tue, 9 Oct 2018 14:12:51 +0200 Subject: GNOME Media is deprecated: remove gstreamer-properties https://github.com/GNOME/gnome-media --- mate-user-guide/C/goscustdesk.xml | 6 ------ 1 file changed, 6 deletions(-) diff --git a/mate-user-guide/C/goscustdesk.xml b/mate-user-guide/C/goscustdesk.xml index c5a3fd9..e239c19 100644 --- a/mate-user-guide/C/goscustdesk.xml +++ b/mate-user-guide/C/goscustdesk.xml @@ -2828,12 +2828,6 @@ sound output preferences that you can modify. System - - - Multimedia Systems Selector - See the GStreamer Properties Manual. - - Sessions Preferences -- cgit v1.2.1