Bram Moolenaar f3ba14ffd3 patch 8.0.1655: outdated gdb message in terminal debugger unclear ...

Problem:    Outdated gdb message in terminal debugger unclear.
Solution:   Specifically mention the required gdb version.  Avoid getting
            stuck on pagination.

2018-03-29 18:29:51 +02:00

..

dist/opt

patch 8.0.1655: outdated gdb message in terminal debugger unclear

2018-03-29 18:29:51 +02:00