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