* gdbint.texinfo (User Interface): Change local_hex_string_custom
authorPaul N. Hilfinger <hilfinger@adacore.com>
Sat, 11 Sep 2004 20:53:16 +0000 (20:53 +0000)
committerPaul N. Hilfinger <hilfinger@adacore.com>
Sat, 11 Sep 2004 20:53:16 +0000 (20:53 +0000)
commit15a661f391345da00586e24b5a4265198d27e190
tree91ca82d68f1b2040c9eec1dcbe794fb9ec5ef59f
parent2444313964c5d1ad331727ccebee6611838d3152
* gdbint.texinfo (User Interface): Change local_hex_string_custom
to hex_string_custom (not historically correct, but more
understandable, given the current code).
gdb/doc/ChangeLog
gdb/doc/gdbint.texinfo