diff man/arevert-xtra.texi @ 80806:f6ca990ca9cf

(gud-menu-map): Pdb can't handle SIGINT so don't put stop button on toolbar.
author Nick Roberts <nickrob@snap.net.nz>
date Sat, 28 Apr 2007 08:57:20 +0000
parents 3d45362f1d38
children 02b9a9aa5b0c
line wrap: on
line diff