diff man/faq.texi @ 46238:f5ac68c7cc15

Clarify gud-jump description.
author Richard M. Stallman <rms@gnu.org>
date Sun, 07 Jul 2002 23:29:35 +0000
parents 998074d579cf
children 05bd4743e434
line wrap: on
line diff