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
    Report package bug
    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


    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