diff etc/PROBLEMS @ 62825:a6b83140d7d1

(gud-goto-info): Use info. Don't use require. (toggle-gud-tooltip-dereference): Rename from gud-toggle-tooltip-dereference.
author Nick Roberts <nickrob@snap.net.nz>
date Fri, 27 May 2005 20:54:58 +0000
parents 7c92649144ac
children 33a466a1789c bf0d492ea2d5
line wrap: on
line diff