]> git.tuebingen.mpg.de Git - micoforia.git/commitdiff
enter: Save and restore the terminal settings.
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 5 May 2021 16:48:13 +0000 (18:48 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 5 May 2021 16:50:28 +0000 (18:50 +0200)
On some systems, the backspace key no longer worked the
enter subcommand exited.


No differences found