diff man/misc.texi @ 66881:be635ea1cd02

Old gud-remove icon. Use for run/continue.
author Nick Roberts <nickrob@snap.net.nz>
date Tue, 15 Nov 2005 11:51:18 +0000
parents 0c3c7b55da00
children 1a876a016f0a 7beb78bc1f8e
line wrap: on
line diff