Gabriel Arazas 37a4203e80 gnome-extension-manager: remove workaround ... This has been added some time from upstream. See mjakeman/extension-manager#263.		2022-10-19 18:14:03 +08:00
..
default.nix