1. 2001-07-31 [PATCH]: Remove terminal_save_ours() from tui gdb-patch Stephane Carrez 2. 2001-07-31 [PATCH]: Remove terminal_save_ours() from tui gdb-patch Stephane Carrez