diff oldXMenu/XMenuInt.h @ 103039:5b883aa3f804

(diff-find-source-location): Don't call diff-sanity-check-hunk when NOPROMPT is non-nil. (Bug#3030)
author Martin Rudalics <rudalics@gmx.at>
date Tue, 21 Apr 2009 06:56:51 +0000
parents c2500786b8c5
children edf631bdbb7a ec58e5c426ef 5cc91198ffb2
line wrap: on
line diff