diff options
Diffstat (limited to 'devel/anjuta/files/patch-src_commands.c')
| -rw-r--r-- | devel/anjuta/files/patch-src_commands.c | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/devel/anjuta/files/patch-src_commands.c b/devel/anjuta/files/patch-src_commands.c deleted file mode 100644 index 89e481307..000000000 --- a/devel/anjuta/files/patch-src_commands.c +++ /dev/null @@ -1,10 +0,0 @@ ---- src/commands.c.orig Tue Aug 31 00:41:32 2004 -+++ src/commands.c Tue Aug 31 00:41:56 2004 -@@ -102,6 +102,7 @@ - /* Ditto */ - static gchar * - term_commands[] = { -+ "gnome-terminal -e '$(anjuta.current.command)'", - "gnome-terminal -e \"$(anjuta.current.command)\"", - "gnome-terminal -x sh -c \"$(anjuta.current.command)\"", - "gnome-terminal --command=\"sh -c \\\"$(anjuta.current.command); read x\\\"\"", |