mirror of
https://github.com/git/git.git
synced 2026-03-30 11:30:07 +02:00
All the git add options were listed in the synopsis until the --ignore-missing option was added. Change that so that the git add documentation now has the complete listing. Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
10 KiB
10 KiB