pierre ebe0491ba8 Add GDB 7.12 version and fix warning about no recognized version 8 anni fa
..
freadlin.pp 4589df16b0 * gdbint moved 17 anni fa
gdbcon.pp 011e8fcd07 * moved the code for setting max width and then restoring it when obtaining a 10 anni fa
gdbint.pp ebe0491ba8 Add GDB 7.12 version and fix warning about no recognized version 8 anni fa
gdbobjs.inc 4589df16b0 * gdbint moved 17 anni fa
gdbver.pp 4589df16b0 * gdbint moved 17 anni fa
gdbver_nogdb.inc 4589df16b0 * gdbint moved 17 anni fa