gnome-tweak-tool 3.5.5

[John Stowers <install-module master gnome org>]

About GNOME Tweak Tool
======================

GNOME Tweak Tool allows adjusting advanced configuration settings in
GNOME3. This includes things like the fonts used in user interface
elements, alternative user interface themes, changes in window
management behaviour, GNOME Shell appearance and extension, etc.

News
====

  * Now appear as "Tweak Tool" in (bug 678778)
  * Fix incompatibility with new gnome-shell extensions (Alban Browaeys, bug 678778)



Download
========
http://download.gnome.org/sources/gnome-tweak-tool/3.5/gnome-tweak-tool-3.5.5.tar.xz (213K)
  sha256sum: 0b0e76e95998a766b804b132021e2324c2e42f109625f32b45fec70ad9466561