Package gedit-plugin-devhelp: Information
Binary package: gedit-plugin-devhelp
Version: 3.32.0-alt1
Architecture: aarch64
Build time: Mar 18, 2019, 08:29 PM in the task #225059
Source package: devhelp
Category: Development/Other
Report package bugHome page: https://wiki.gnome.org/Apps/Devhelp
License: GPLv3+
Summary: DevHelp integration into GEdit
Description:
This plugin for GEdit enables using DevHelp from inside the editor.
Maintainer: Yuri N. Sedunov
List of contributors:
Yuri N. Sedunov
Alexey Shabalin
Vitaly Kuznetsov
Eugeny A. Rostovtsev
Igor Vlasenko
Alexey Rusakov
vk
Yuri N. Sedunov
Alexey Shabalin
Vitaly Kuznetsov
Eugeny A. Rostovtsev
Igor Vlasenko
Alexey Rusakov
vk
Last changed
March 10, 2019 Yuri N. Sedunov 3.32.0-alt1
- 3.32.0
Oct. 24, 2018 Yuri N. Sedunov 3.30.1-alt1
- 3.30.1
July 16, 2018 Yuri N. Sedunov 3.30.0-alt1
- 3.30.0