Ignore:
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:
1 edited

Legend:

Unmodified
Added
Removed
  • gnome/platform/gnome-shell-extensions.xml

    rb00dd0a rfcc4d96d  
    9494    <bridgehead renderas="sect4">Optional</bridgehead>
    9595    <para role="optional">
     96      <xref role="runtime" linkend="gnome-menus"/>
     97      (runtime, for Applications Menu extension) and
    9698      <xref linkend="sassc"/>
    9799    </para>
Note: See TracChangeset for help on using the changeset viewer.