diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-04-17 20:46:00 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-04-19 09:03:47 -0400 |
| commit | 5cfde70c6e7c8afcd2c9cdb3505301c3e6cde6da (patch) | |
| tree | 704faf383ad3669b278b0a547d6488e10b2b33cd /src/core/user.conf | |
| parent | fe4aede922f145df8b82108d937b65dcd3443588 (diff) | |
run: change --tty option to --pty as documented
Keep the previous option name as hidden, for compatibility.
Fixes #3054.
Diffstat (limited to 'src/core/user.conf')
0 files changed, 0 insertions, 0 deletions