gnome-tweak-tool 3.8.1

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

  * Use extension specific paths to find pref.js (Ralph Bean, 697685)
  * Dont look in ~/.themes for metacity themes (John Stowers, 693350)
  * Add groups only if they have tweaks (Joaquim Rocha, 699572)
  * Work with gnome-shell classic mode (Florian Mullner, 701760)



Download
========
http://download.gnome.org/sources/gnome-tweak-tool/3.8/gnome-tweak-tool-3.8.1.tar.xz (225K)
  sha256sum: 283e3174ce85aeb9187de31a09b59866e84debd31dcdddedc1615a5097ea54c1