git://git.jankratochvil.net / nethome.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 814eb64) | patch
.gdbinit: Update:
authorJan Kratochvil <jan@jankratochvil.net>
Thu, 11 Nov 2021 19:11:04 +0000 (20:11 +0100)
committerJan Kratochvil <jan@jankratochvil.net>
Thu, 11 Nov 2021 19:11:04 +0000 (20:11 +0100)
commitc36e8adb127d503dba5e5f856b4635d01f4b86f4
treec7627263a421b0008e4613d007d4d759a0ec5f7atree
parent814eb6428dfeda64326f695be75ab0186202d7dacommit | diff
.gdbinit: Update:
  Warning: 'set record insn-number-max', an alias for the command 'set record full insn-number-max', is deprecated.
  Use 'set record full insn-number-max'.
.gdbinit diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.