diff options
author | Daniels Umanovskis <daniels@umanovskis.se> | 2018-10-11 20:33:50 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-10-12 08:26:49 +0900 |
commit | 61018fe9e005a54e18184481927519d64035220a (patch) | |
tree | 66bd8527e8530f3f8d849ae84b86f7eadde720a1 /patch-ids.c | |
parent | Git 2.19.1 (diff) | |
download | tgif-61018fe9e005a54e18184481927519d64035220a.tar.xz |
doc: move git-cherry to plumbing
Also remove git-cherry from Bash completion because plumbing
commands do not belong there.
Signed-off-by: Daniels Umanovskis <daniels@umanovskis.se>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'patch-ids.c')
0 files changed, 0 insertions, 0 deletions