Package gedit-plugin-devhelp: Information
Binary package: gedit-plugin-devhelp
Version: 40.1-alt1
Architecture: aarch64
Build time: Sep 24, 2021, 05:44 AM in the task #284327
Source package: devhelp
Category: Development/Other
Report package bugHome page: https://wiki.gnome.org/Apps/Devhelp
License: GPL-3.0
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
Aug. 26, 2021 Yuri N. Sedunov 40.1-alt1
- 40.1
April 12, 2021 Yuri N. Sedunov 40.0-alt1
- 40.0
Nov. 20, 2020 Yuri N. Sedunov 3.38.1-alt1
- 3.38.1