On Monday, September 9, 2019, 3:46:02 p.m. GMT-4, Florian Müllner <fmuellner gnome org> wrote:
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
====
Translators:
Rafael Fontenelle [pt_BR], Efstathios Iosifidis [el], Milo Casagrande [it],
Sabri Ünal [tr]
Download
========
(200K)
sha256sum: f5bf8f6a87f918ebba69adac56257b9439399238021821d689928e2b2822cbab
_______________________________________________
gnome-shell-list mailing list