gnome-shell-extensions 3.23.92

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.


* update classic theme
* updated translations (be, ko, ca, da, cs, ru, lt)

======== (335K)
  sha256sum: 3059cd9723f22b4c17eeaa5a27f6ac18b3ab01032cbdc026c1c016594d58fd66

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]