Changeset fcc4d96d for gnome/platform/gnome-shell-extensions.xml

Timestamp:

08/11/2022 03:18:58 AM (6 months ago)

Author:

Xi Ruoyao <xry111@…>

Branches:

11.2, plabs/python-mods, qt5new, trunk, xry111/soup3

Children:

208f204

Parents:

b00dd0a

Message:

move gnome-menus dependency from gnome-shell to extensions

File:

• gnome/platform/gnome-shell-extensions.xml (modified) (1 diff)

gnome/platform/gnome-shell-extensions.xml

@@ -94 +94 @@
     <bridgehead renderas="sect4">Optional</bridgehead>
     <para role="optional">
+      <xref role="runtime" linkend="gnome-menus"/>
+      (runtime, for Applications Menu extension) and
       <xref linkend="sassc"/>
     </para>