mirror of
https://github.com/git/git.git
synced 2026-03-01 19:16:25 +00:00
'git checkout' uses '--' to separate options from paths, but it was not mentioned in the documentation Signed-off-by: SZEDER Gábor <szeder@ira.uka.de> Signed-off-by: Junio C Hamano <gitster@pobox.com>
6.7 KiB
6.7 KiB