diff options
| -rw-r--r-- | gdb/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/tui/tui-regs.c | 2 |
2 files changed, 4 insertions, 2 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 72a6258..8e1c185 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,7 @@ +2013-07-01 Pedro Alves <palves@redhat.com> + + * tui/tui-regs.c (pagination_enabled): Delete declaration. + 2013-06-30 Jan Kratochvil <jan.kratochvil@redhat.com> Code cleanup. diff --git a/gdb/tui/tui-regs.c b/gdb/tui/tui-regs.c index 975173a..bb72340 100644 --- a/gdb/tui/tui-regs.c +++ b/gdb/tui/tui-regs.c @@ -661,8 +661,6 @@ _initialize_tui_regs (void) ** STATIC LOCAL FUNCTIONS ** ******************************************/ -extern int pagination_enabled; - static void tui_restore_gdbout (void *ui) { |