mirror of
https://github.com/git/git.git
synced 2026-04-03 13:30:47 +02:00
We'll be adding another option to the --no-* class of options soon. Clean up the existing options by grouping them together in the OPTIONS section, and adding missing ones to the SYNOPSIS. Signed-off-by: James Liu <james@jamesliu.io> Signed-off-by: Junio C Hamano <gitster@pobox.com>
28 KiB
28 KiB