diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2018-10-26 14:22:14 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-10-26 14:22:14 +0900 |
| commit | eff5d693ad5ff28daf2244ce2618896e87cccb2b (patch) | |
| tree | da26b14980bad0003f8546fd523315afd9fcc0a5 /mem-pool.c | |
| parent | Merge branch 'ab/gc-doc-update' (diff) | |
| parent | doc: move git-cherry to plumbing (diff) | |
| download | tgif-eff5d693ad5ff28daf2244ce2618896e87cccb2b.tar.xz | |
Merge branch 'du/cherry-is-plumbing'
Doc update to mark "git cherry" as a plumbing command.
* du/cherry-is-plumbing:
doc: move git-cherry to plumbing
Diffstat (limited to 'mem-pool.c')
0 files changed, 0 insertions, 0 deletions