Version vom 13. März 2026, 10:51 Uhr von Thomas.will(Diskussion | Beiträge)(Die Seite wurde neu angelegt: „=Install= *sudo apt install gnome-shell-extension-manager“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)