A set of plugins for gedit https://wiki.gnome.org/Apps
Go to file
2024-01-05 22:40:38 +01:00
gedit-plugins.spec automatic version update by autodist [release 43.1-1mamba;Wed Nov 16 2022] 2024-01-05 22:40:38 +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.