diff options
| author | Junio C Hamano <gitster@pobox.com> | 2020-07-06 22:09:15 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-07-06 22:09:15 -0700 |
| commit | 65ffaca0e437b4b504fd5fbfe39e72331d7f7314 (patch) | |
| tree | b5b0b4aba3c55f0d0504f85f4808202dc2e737b0 /commit-reach.c | |
| parent | 645f63111b9fc456cc48da9b320b86800fe5477c (diff) | |
| parent | 81120a90aa32f545ce3b68f49d2877ccff29a6e3 (diff) | |
Merge branch 'jl/complete-git-prune'
Add "git prune" to the completion (in contrib/), which could be
typed by end-users from the command line.
* jl/complete-git-prune:
bash-completion: add git-prune into bash completion
Diffstat (limited to 'commit-reach.c')
0 files changed, 0 insertions, 0 deletions