gnome-shell-extensions 3.13.90



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
====

* updated translations (as, ca, eu, nl, zh_CN, zh_HK, zh_TW)



Download
========
https://download.gnome.org/sources/gnome-shell-extensions/3.13/gnome-shell-extensions-3.13.90.tar.xz (209K)
  sha256sum: 7fc997956ad3c6dd6ded4a6126a6bdd7fe3388223ab7f017695b86433bc111ca



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