diff options
Diffstat (limited to 'plugins/externaltools/externaltools.gedit-plugin.desktop.in')
| -rwxr-xr-x | plugins/externaltools/externaltools.gedit-plugin.desktop.in | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/plugins/externaltools/externaltools.gedit-plugin.desktop.in b/plugins/externaltools/externaltools.gedit-plugin.desktop.in deleted file mode 100755 index 5212c49b..00000000 --- a/plugins/externaltools/externaltools.gedit-plugin.desktop.in +++ /dev/null @@ -1,9 +0,0 @@ -[Gedit Plugin] -Loader=python -Module=externaltools -IAge=2 -_Name=External Tools -_Description=Execute external commands and shell scripts. -Authors=Steve Frécinaux <[email protected]> -Copyright=Copyright © 2005 Steve Frécinaux -Website=http://www.gedit.org |