A set of plugins for gedit https://wiki.gnome.org/Apps
Go to file
2024-01-05 22:40:39 +01:00
gedit-plugins.spec update to 46.0 [release 46.0-1mamba;Sun Nov 12 2023] 2024-01-05 22:40:39 +01:00
README.md automatic version update by autodist [release 3.10.1-1mamba;Wed Dec 04 2013] 2024-01-05 22:40:38 +01:00

gedit-plugins

gedit-plugins are a set of plugins for gedit.