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, Xiaoguang; !113, !106] Contributors: Florian Müllner, Xiaoguang Wang Translators: Yosef Or Boczko [he], Kristjan SCHMIDT [eo] Download ======== https://download.gnome.org/sources/gnome-shell-extensions/3.36/gnome-shell-extensions-3.36.2.tar.xz (203K) sha256sum: 978202de515cdb03a5885859c538366bca8fd78762ce98b172ac2c0126f8003f _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list