summaryrefslogtreecommitdiff
path: root/src/shared
diff options
context:
space:
mode:
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2016-04-17 20:46:00 -0400
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2016-04-19 09:03:47 -0400
commit5cfde70c6e7c8afcd2c9cdb3505301c3e6cde6da (patch)
tree704faf383ad3669b278b0a547d6488e10b2b33cd /src/shared
parentfe4aede922f145df8b82108d937b65dcd3443588 (diff)
run: change --tty option to --pty as documented
Keep the previous option name as hidden, for compatibility. Fixes #3054.
Diffstat (limited to 'src/shared')
0 files changed, 0 insertions, 0 deletions