About gnome-shell-extensions ============================ GNOME Shell Extensions is a collection of extensions providing additional and optional functionality to GNOME Shell. Most extensions can be installed by configuring --prefix=$HOME/.local, and will be picked automatically at next login.
News ==== * Misc. bug fixes and cleanups [Florian; !237, !238] Contributors: Florian Müllner Translators: Nart Tlisha [ab] Download ======== https://download.gnome.org/sources/gnome-shell-extensions/43/gnome-shell-extensions-43.beta.tar.xz (221K) sha256sum: dd9e9040e344b6b924800be6c411b43b36cccb51c31f12f14f23e1a073df5ab5 _______________________________________________ ftp-release-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/ftp-release-list
