最終更新:2022-10-21 (金) 04:50:32 (546d)
gnome-shell-extension-manager
Top / gnome-shell-extension-manager
extension-manager?
