devhelp 3.13.4

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

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

API documentation browser

News
====

Fixed bugs:

 - #724098, center tab labels
 - #724538, Use popver for the gear menu
 - #727064, Use headerbar in the preference dialog
 - #730445, Expand tabs in the pref dialog
 - #730723, window: Allow Shift-Return to previous find
 - #730772, Use the new support for RTL icons in GtkIconTheme
 - #732897, Use view-context-menu-symbolic for the gear menu

Updated translations: ca, ca valencia, el, es, he, pt_BR, sl

Many thanks to all contributors: MarMav, Carles Ferrando, Pau Iranzo,
chrysn, Damián Nohales, Matej Urbančič, Daniel Mustieles, Enrico
Nicoletto, Yosef Or Boczko




Download
========
https://download.gnome.org/sources/devhelp/3.13/devhelp-3.13.4.tar.xz (455K)
  sha256sum: 41caf85272567f671d3381ac39542d9e38419d0c96a9fa49580e0c79695e43a5