devhelp 3.8.1

[Frederic Peters <install-module master gnome org>]

About devhelp
=============

API documentation browser

News
====

Fixed bugs:

 - #697026, font size is too small by default and don't match system font
            size
 - #697541, changing preferences crashes/fails after closing one of
            multiple windows

Many thanks to all contributors: Carlos Garcia Campos, Ignacio Casal
Quinteiro, Aleksander Morgado




Download
========
http://download.gnome.org/sources/devhelp/3.8/devhelp-3.8.1.tar.xz (492K)
  sha256sum: 4548fb0b17d4716851cf044294a8ee59e72c8de97e793842faf510a6dbfd3c96