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 ==== * more updates and fixes for gnome-shell master changes and regressions (systemMonitor, window-list, apps-menu) * lots of updated translations (ar, as, cs, da, de, el, es, eu, fi, gl, he, hu, it, ja, kk, ko, lv, nb, nl, pa, pl, pt_BR, ru, sk, sr, sr@latin, ta, tg) Download ======== http://download.gnome.org/sources/gnome-shell-extensions/3.9/gnome-shell-extensions-3.9.92.tar.xz (191K) sha256sum: fa3459449f91257c630c96876a3ba6820ebd19c5e9b05a165f3526a016fc3fb1 _______________________________________________ ftp-release-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/ftp-release-list
