diff lispref/tips.texi @ 67251:299942030b0e

(gud-menu-map): Put gud-finish back on the tool bar (removed inadvertantly).
author Nick Roberts <nickrob@snap.net.nz>
date Fri, 02 Dec 2005 09:15:56 +0000
parents 62934d7c890f
children a99220d00c05
line wrap: on
line diff