tree 3cec81e6c4597add3827e1b82a10c05ccc5b8126
parent 9df194cce88d0ddcc1bcd39384235ec6df687748
author Chris Liechti <cliechti@gmx.net> 1450996834 +0100
committer Chris Liechti <cliechti@gmx.net> 1450996834 +0100

miniterm: new option --ask to repeat port question on errors