diff options
| author | Pedro Alves <palves@redhat.com> | 2016-04-12 16:49:32 +0100 |
|---|---|---|
| committer | Pedro Alves <palves@redhat.com> | 2016-04-12 17:00:54 +0100 |
| commit | a12ac51333cf97f4da0597d049cc694b4535e7dd (patch) | |
| tree | b1cfe0421aacde3c0659c20657662a8658cef8f9 /gdb/.gitignore | |
| parent | 5fe966540d6b748f825774868463003700f0c878 (diff) | |
| download | gdb-a12ac51333cf97f4da0597d049cc694b4535e7dd.zip gdb-a12ac51333cf97f4da0597d049cc694b4535e7dd.tar.gz gdb-a12ac51333cf97f4da0597d049cc694b4535e7dd.tar.bz2 | |
TUI: GC tui_target_has_run
Nothing actually uses this global.
gdb/ChangeLog:
2016-04-12 Pedro Alves <palves@redhat.com>
* tui/tui-hooks.c (tui_target_has_run): Delete.
(tui_about_to_proceed): Delete.
(tui_about_to_proceed_observer): Delete.
(tui_install_hooks, tui_remove_hooks): Don't install/remove an
about_to_proceed observer.
Diffstat (limited to 'gdb/.gitignore')
0 files changed, 0 insertions, 0 deletions