diff man/texinfo.tex @ 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 efec044efb3a
children 23a1cea22d13
line wrap: on
line diff