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