diff options
| author | Daniel Friesel <derf@finalrewind.org> | 2017-09-13 18:34:44 +0200 |
|---|---|---|
| committer | Daniel Friesel <derf@finalrewind.org> | 2017-09-13 18:35:08 +0200 |
| commit | 284207b12dbfd13c25416cba69a151f54dabb6dc (patch) | |
| tree | 65dc74b0d7d456afba007a08c6d92bc4a02687f8 /scripts/checkopts.pl | |
| parent | b7d6976e3375f7763ea615431733eccbaa33e573 (diff) | |
Only restore terminal settings if stdin still belongs to us (closes #324)
Diffstat (limited to 'scripts/checkopts.pl')
0 files changed, 0 insertions, 0 deletions