mirror of
https://github.com/git/git.git
synced 2025-12-23 12:14:22 +01:00
as it is not relevant for whether the result should be written. Even if no real merge happened, there might be _no_ reason to rewrite the working tree file. Maybe even more so. Signed-off-by: Alex Riesen <raa.lkml@gmail.com> Signed-off-by: Junio C Hamano <junkio@cox.net>
44 KiB
44 KiB