Andrew's git / gitweb.git / diff
?
Merge branch 'du/cherry-is-plumbing' into maint
authorJunio C Hamano <gitster@pobox.com>
Wed, 21 Nov 2018 13:58:05 +0000 (22:58 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 21 Nov 2018 13:58:05 +0000 (22:58 +0900)
Doc update to mark "git cherry" as a plumbing command.

* du/cherry-is-plumbing:
doc: move git-cherry to plumbing

1  2 
command-list.txt patch | diff1 | diff2 | blob | history
diff --cc command-list.txt
Simple merge