mirror of
https://github.com/git/git.git
synced 2026-03-03 12:57:59 +01:00
These options are supported by git-merge, but git-pull didn't know about them. Signed-off-by: Lars Hjemli <hjemli@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
4.0 KiB
Executable File
4.0 KiB
Executable File