diff options
Diffstat (limited to 'pylnp-terminal.patch')
| -rw-r--r-- | pylnp-terminal.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/pylnp-terminal.patch b/pylnp-terminal.patch deleted file mode 100644 index 455abfc3e5dc..000000000000 --- 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(): |