Package details
Package gedit-plugins-doc
Version 3.38.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.13
Repository community
Architecture x86_64
Size 262.3KiB
Installed size 2.4MiB
Origin gedit-plugins
Maintainer Rasmus Thomsen
Build time 2020-11-27 08:22:15
Commit d711efe97dc0207b4a3158d308cb629f9a8518b2
Merge request 14980
Git repository Git repository
Build log Build log
Issues Open packaging issues
Contents Contents of package
Depends (0)
Required by (0)
Sub Packages (2)
Provides (0)
Install if (2)