Florian Müllner 01e9724d75 extensions-tool: Rename ENABLED/DISABLED states ... Follow the update terminology used by the extension system, in particular when displaying extension details to the user. https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/7004 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3073>		2024-01-03 20:05:05 +00:00
..
extensions-app
extensions-tool	extensions-tool: Rename ENABLED/DISABLED states	2024-01-03 20:05:05 +00:00
gvc@000046e887
shew
gi-docgen.wrap