diff man/text.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 fbd8e85ce811
children 20ff812ba5b3 ee12d75eb214
line wrap: on
line diff