diff options
| author | Roman Perepelitsa <roman.perepelitsa@gmail.com> | 2020-10-26 14:26:45 +0300 |
|---|---|---|
| committer | Roman Perepelitsa <roman.perepelitsa@gmail.com> | 2020-10-26 14:26:45 +0300 |
| commit | 74c6e18363003015e705a8803f475b0452420373 (patch) | |
| tree | 451eddb44464af000f7c759ef474efa5030be573 /README.md | |
| parent | 49d5617989fcbf9a853742bfbc1ee8d02adcfe9f (diff) | |
check mtime of $TTY on startup if it points to a different tty than in the parent; see #930
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions