]> git.99rst.org Git - git.git/commitdiff
Merge branch 'ar/help-micro-cleanup'
authorJunio C Hamano <redacted>
Sat, 17 Jul 2021 00:42:51 +0000 (17:42 -0700)
committerJunio C Hamano <redacted>
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
git clone https://git.99rst.org/PROJECT