view info/.gitignore @ 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 214450de83bc
children ef719132ddfa
line wrap: on
line source

*

# arch-tag: 4cf702c2-f50e-49bd-a3ff-4fd962c5975a