summarylogtreecommitdiffstats
path: root/pylnp-terminal.patch
diff options
context:
space:
mode:
Diffstat (limited to 'pylnp-terminal.patch')
-rw-r--r--pylnp-terminal.patch11
1 files changed, 0 insertions, 11 deletions
diff --git a/pylnp-terminal.patch b/pylnp-terminal.patch
deleted file mode 100644
index 455abfc3e5d..00000000000
--- a/pylnp-terminal.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- terminal.py.old 2016-07-15 18:56:06.339216999 -0700
-+++ terminal.py 2016-07-15 18:56:26.132648665 -0700
-@@ -28,7 +28,7 @@
- c.append(s)
- return c
- else:
-- return term + cmd
-+ return term + [cmd]
- raise Exception('No terminal launcher for platform: ' + sys.platform)
-
- def get_configured_terminal():