Package details
Package gedit-plugins-doc
Version 43.1-r1
Description Plugins for gedit, the GNOME text editor (documentation)
Project https://gitlab.gnome.org/GNOME/gedit/blob/master/plugins/list-of-gedit-plugins.md
License GPL-2.0-only
Branch v3.17
Repository community
Architecture armv7
Size 224.5KiB
Installed size 2.1MiB
Origin gedit-plugins
Maintainer Ralf Rachinger
Build time 2022-12-16 07:19:58
Commit 25fa7fe06d67774d2eae62bc8de02c65327ec239
Merge request N/A
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)