diff src/search.c @ 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 6b3176775d00
children 2f74d2880f10
line wrap: on
line diff