plugins/externaltools/externaltools.gedit-plugin.desktop.in


1
2
3
4
5
6
7
8
9

[Gedit Plugin]
Loader=python
Module=externaltools
IAge=2
_Name=External Tools
_Description=Execute external commands and shell scripts.
Authors=Steve Frécinaux <steve@istique.net>
Copyright=Copyright © 2005 Steve Frécinaux
Website=http://www.gedit.org