Search results

Documentation for packages, which contain /usr/share/doc/gedit-plugin-bookmarks:

Description: Bookmarks plugin for gedit
gedit-plugins contain a set of plugins for gedit.
This plugin enables easy document navigation with bookmarks.
Homepage: https://wiki.gnome.org/Apps/Gedit#Plugins
copyright | Debian changelog

Other documents:

/usr/share/doc/gedit-plugin-bookmarks

Generated by dwww version 1.15 on Sun Jun 16 12:28:05 CEST 2024.