diff options
author | metamer | 2016-09-22 15:30:26 -0400 |
---|---|---|
committer | metamer | 2016-09-22 15:30:26 -0400 |
commit | 0149da5a9658192068841b75f6e63e74c372e612 (patch) | |
tree | c0025d624db2c65c102d4a06e4663c4e7c88ab2d /pylnp-terminal.patch | |
parent | c613c7a5a3afdf8f9d3ac59e97e5bc7f794b3a3b (diff) | |
download | aur-0149da5a9658192068841b75f6e63e74c372e612.tar.gz |
removed pylnp terminal patch
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(): |