diff admin/make-announcement @ 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 ce88a631c161
children b92c3979701c
line wrap: on
line diff