comparison make-dist @ 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 c86e2f4ec9f8
children a4c64847c698
comparison
equal deleted inserted replaced
103038:0bb957371fc2 103039:5b883aa3f804