Merge branch 'du/rev-parse-is-plumbing'
authorJunio C Hamano <gitster@pobox.com>
Fri, 26 Oct 2018 05:22:11 +0000 (14:22 +0900)
committerJunio C Hamano <gitster@pobox.com>
Fri, 26 Oct 2018 05:22:12 +0000 (14:22 +0900)
commit7db60837be0c38040efe47e9459cfb6da3bc5927
tree7e9ddb956b81bedd6637bb4bd4379e939069c7aa
parent0ffa31fc36ff27edaccbb565323b95dfab2202f5
parentac1f98a0dfe3b194f67c41d79ef47af3019dd86a
Merge branch 'du/rev-parse-is-plumbing'

Doc update.

* du/rev-parse-is-plumbing:
  doc: move git-rev-parse from porcelain to plumbing
command-list.txt