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 automatic version update by autodist [release 44.1-1mamba;Sat Jan 21 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.