mirror of
https://github.com/git/git.git
synced 2026-02-17 21:28:11 +00: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