]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'ar/help-micro-cleanup'
authorJunio C Hamano <gitster@pobox.com>
Sat, 17 Jul 2021 00:42:51 +0000 (17:42 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sat, 17 Jul 2021 00:42:51 +0000 (17:42 -0700)
Tiny code clean-up.

* ar/help-micro-cleanup:
  help: convert git_cmd to page in one place


Trivial merge