diff options
Diffstat (limited to 'python-lnp-get-terminal-name.patch')
| -rw-r--r-- | python-lnp-get-terminal-name.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/python-lnp-get-terminal-name.patch b/python-lnp-get-terminal-name.patch deleted file mode 100644 index da1251ae881f..000000000000 --- a/python-lnp-get-terminal-name.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- terminal.py.old 2017-01-29 19:11:14.936469798 -0800 -+++ terminal.py 2017-01-29 19:11:23.498852585 -0800 -@@ -25,7 +25,7 @@ - term = get_configured_terminal().get_command_line() - log.d( - "Using configured terminal: %s, command line %s", term, -- get_configured_terminal.name) #pylint: disable=no-member -+ get_configured_terminal().name) #pylint: disable=no-member - if "$" in term: - c = [] - for s in term: |