diff src/.gdbinit @ 85113:82b4a12fd080

(follow-mode-hook, follow-mode): Doc fixes. (follow-mode-off-hook): Mark as obsolete.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 09 Oct 2007 08:44:02 +0000 (2007-10-09)
parents e903d611edc5
children 0dd5043f1b3e bdb3fe0ba9fa
line wrap: on
line diff