diff man/faq.texi @ 48572:67d16fb6f6c8

(tooltip-gud-tips-setup): Remove. (tooltip-gud-debugger): Remove. (tooltip-gud-print-command): Use gud-minor mode instead of tooltip-gud-tips-setup and tooltip-gud-debugger.
author Nick Roberts <nickrob@snap.net.nz>
date Thu, 28 Nov 2002 21:26:25 +0000
parents 0a70200bde27
children 08b94ecd1d08
line wrap: on
line diff