Package details
Package gedit-plugins-doc
Version 40.1-r0
Description Plugins for gedit, the GNOME text editor (documentation)
Project https://wiki.gnome.org/Apps/Gedit/PluginsLists
License GPL-2.0-only
Branch v3.14
Repository community
Architecture x86_64
Size 263.4KiB
Installed size 2.4MiB
Origin gedit-plugins
Maintainer Rasmus Thomsen
Build time 2021-05-02 20:54:34
Commit 004d54f038666d92bdf041359f1178f653925be2
Merge request 20980
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (0)
Required by (0)
Sub Packages (2)
Provides (0)
Install if (2)