[Bug cli/19599] interactive option to disable pagination

[palves at redhat dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=19599

--- Comment #2 from Pedro Alves <palves at redhat dot com> ---
https://sourceware.org/ml/gdb-patches/2014-06/msg00862.html

[palves at redhat dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=19599

Pedro Alves <palves at redhat dot com> changed:

What |Removed |Added
----------------------------------------------------------------------------
CC| |palves at redhat dot com

--- Comment #1 from Pedro Alves <palves at redhat dot com> ---
Tromey once wrote a patch for that. It's probably in his git still.

[tromey at sourceware dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=19599

Tom Tromey <tromey at sourceware dot org> changed:

What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
CC| |tromey at sourceware dot org
Resolution|--- |DUPLICATE

--- Comment #3 from Tom Tromey <tromey at sourceware dot org> ---
Dup.

*** This bug has been marked as a duplicate of bug 12326 ***