tree f0bf51c108643547199d5aaf59b32971390b9f6f
parent 6262f5c4711df705a568a56f3cc2eae34bdc0d0f
parent ac1f98a0dfe3b194f67c41d79ef47af3019dd86a
author Junio C Hamano <gitster@pobox.com> 1542808684 +0900
committer Junio C Hamano <gitster@pobox.com> 1542808684 +0900

Merge branch 'du/rev-parse-is-plumbing' into maint

Doc update.

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