GNOME Media is deprecated: remove gstreamer-properties

rbuj · raveit65 · commit 4deb4a857596 · 2018-10-10T08:33:54.000+02:00
https://github.com/GNOME/gnome-media
diff --git 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.</para>
 <sect1 id="prefs-system">
 	<title>System</title>
 
-
-  <sect2 id="prefs-multimedia">
-    <title>Multimedia Systems Selector</title>
-    <para>See the GStreamer Properties Manual.</para>
-  </sect2>
-
   <sect2 id="prefs-sessions">
     <title>Sessions Preferences</title>
     
