mirror of
https://github.com/GNOME/gedit
synced 2024-06-30 23:15:01 +00:00
302 B
302 B
Third-party gedit plugins
Plugins that are neither part of gedit nor gedit-plugins. They can be installed separately.