| commit | 9b2234b063eb8e08be1fccc7d830fb7065cd06ae | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tom@tromey.com> | Wed Jan 25 14:48:55 2023 -0700 |
| committer | Tom Tromey <tom@tromey.com> | Thu Jan 26 18:28:32 2023 -0700 |
| tree | 0dafe1b0bbdbb22754604a48c225ba26f439ec28 | |
| parent | e125b182783d729a9a29f6389a7661366a8dbd14 [diff] |
Use clean_restart in gdb.python Change gdb.python to use clean_restart more consistently.