May 26, 2018
This plugin adds various small addons to Geany which aren’t worth an own plugin but might still useful for people.
WWW https//plugins.geany.org/addons.html