devhelp 3.9.4

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

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

API documentation browser

News
====

Fixed bugs:

 - #665531, devhelp: change ShowSearchTab key to ctrl+K
 - #695758, Ctrl+F/Ctrl+S don't focus the search entry
 - #696922, Tabs should be reorderable
 - #700430, .pc uses WEBKITGTK_PC_NAME which is no longer defined

Updated translations: cs, es, eu, gl, he, hu, ml, nb, ru, sl

Many thanks to all contributors: Balázs Úr, Kjartan Maraas, Carlos Garcia
Campos, Ignacio Casal Quinteiro, Fran Diéguez, Javier Jardón, Matej
Urbančič, Yuri Myasoedov, Daniel Mustieles, Yosef Or Boczko, Adam Dingle,
Marek Černocký, Arnel A. Borja, Yaron Shahrabani, Anish A, Aleksander
Morgado




Download
========
http://download.gnome.org/sources/devhelp/3.9/devhelp-3.9.4.tar.xz (477K)
  sha256sum: 1c6f0506a399f6b4c9dafbd1facc5d089e09266966a5be5ebd5223e3a577ebd1