comparison man/ediff.texi @ 65883:46ec04efd3cc

(gud-menu-map): Only display un-intuitive gud-break and gud-remove icons when the fringe is not available.
author Nick Roberts <nickrob@snap.net.nz>
date Fri, 07 Oct 2005 02:45:56 +0000
parents 528399f4c636
children dc2d5a6655a3 aa89c814f853
comparison
equal deleted inserted replaced
65882:ab855ff04658 65883:46ec04efd3cc