]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'ma/filter-branch-doc-caret' into maint
authorJunio C Hamano <gitster@pobox.com>
Fri, 14 Feb 2020 20:42:32 +0000 (12:42 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 14 Feb 2020 20:42:32 +0000 (12:42 -0800)
Doc mark-up updates.

* ma/filter-branch-doc-caret:
  git-filter-branch.txt: wrap "maths" notation in backticks


Trivial merge