comparison man/mark.texi @ 80168:77d3ee77571c

Rename menu item to "Show GUD tooltips".
author Nick Roberts <nickrob@snap.net.nz>
date Wed, 20 Feb 2008 19:58:56 +0000
parents 02b9a9aa5b0c
children
comparison
equal deleted inserted replaced
80167:b48b70b93856 80168:77d3ee77571c