From 5ded9cba8563f336939400303d6a841d5089b107 Mon Sep 17 00:00:00 2001 From: Perberos Date: Mon, 7 Nov 2011 19:52:18 -0300 Subject: renaming from gedit to pluma --- plugins/externaltools/externaltools.gedit-plugin.desktop.in | 9 --------- 1 file changed, 9 deletions(-) delete mode 100755 plugins/externaltools/externaltools.gedit-plugin.desktop.in (limited to 'plugins/externaltools/externaltools.gedit-plugin.desktop.in') 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 -Copyright=Copyright © 2005 Steve Frécinaux -Website=http://www.gedit.org -- cgit v1.2.1