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
Contents Contents of package
Depends (0)
Required by (0)
Sub Packages (2)
Provides (0)
Install if (2)