[http://live.gnome.org/Gedit/ExternalToolsPluginCommands]
Apps/Gedit/ExternalToolsPluginSnippets (last edited 2013-08-08 17:01:50 by WilliamJonMcCann)