]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'jc/doc-add-placeholder-fix' into HEAD
authorJunio C Hamano <gitster@pobox.com>
Fri, 1 Mar 2024 22:38:55 +0000 (14:38 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 1 Mar 2024 22:38:55 +0000 (14:38 -0800)
Practice the new mark-up rule for <placeholders> with "git add"
documentation page.

* jc/doc-add-placeholder-fix:
  doc: apply the new placeholder rules to git-add documentation

1  2 
Documentation/git-add.txt

Simple merge