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)
Doc update.

* du/rev-parse-is-plumbing:
doc: move git-rev-parse from porcelain to plumbing

No differences found