devhelp 3.19.3

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

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

API documentation browser

News
====

Fixed bugs:

 - #709658, gedit plugin: too many .plugin files (some generated, some
            weird)
 - #755872, Sometimes a page doesn't get opened
 - #756341, Various code improvements and bug fixes

Updated translations: eu, pt, th, zh_CN

Many thanks to all contributors: Pedro Albuquerque, Sébastien Wilmet, Akom
Chotiphantawanon, Inaki Larranaga Murgoitio, YunQiang Su




Download
========
https://download.gnome.org/sources/devhelp/3.19/devhelp-3.19.3.tar.xz (453K)
  sha256sum: e32a2c4388b7d24abe220882a471768905a445b479c4765a4bd58674661a62e5