Package "gnome-shell-extension-prefs"
Name: | gnome-shell-extension-prefs |
Description: |
tool to enable / disable GNOME Shell extensions |
Latest version: | 42.9-0ubuntu2.2 |
Release: | jammy (22.04) |
Level: | updates |
Repository: | universe |
Head package: | gnome-shell |
Homepage: | https://wiki.gnome.org/Projects/GnomeShell |
Links
Download "gnome-shell-extension-prefs"
Other versions of "gnome-shell-extension-prefs" in Jammy
Repository | Area | Version |
---|---|---|
base | universe | 42.0-2ubuntu1 |
security | universe | 42.9-0ubuntu2.2 |
Changelog
Version: 42.2-0ubuntu0.2 | 2022-06-20 16:06:23 UTC | ||
---|---|---|---|
gnome-shell (42.2-0ubuntu0.2) jammy; urgency=medium * New upstream release (LP: #1977776) -- Jeremy Bicha <email address hidden> Mon, 06 Jun 2022 21:28:11 -0400 |
|||
Source diff to previous version | |||
|
Version: 42.1-0ubuntu0.1 | 2022-05-30 11:06:34 UTC | ||||
---|---|---|---|---|---|
gnome-shell (42.1-0ubuntu0.1) jammy; urgency=medium * New upstream release (LP: #1973373, LP: #1968911)
-- Jeremy Bicha <email address hidden> Mon, 16 May 2022 08:21:57 -0400 |
|||||
|
About
-
Send Feedback to @ubuntu_updates