Merge pull request #2196 from brauner/2018-02-28/more_terminal_fixes
terminal: improvements and cleanup
Showing
This diff is collapsed.
Click to expand it.
This diff is collapsed.
Click to expand it.
Please
register
or
sign in
to comment