batch-preserve-term-settings.exp: use send_quit_command some more
This page took 0.57238 seconds and 3 git commands to generate.