diff options
| author | Petr Baudis <pasky@suse.cz> | 2008-08-26 21:11:44 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-09-04 07:41:47 +0400 |
| commit | ff2549dc9af3fffa8a8285418601d9eab94de7b7 (patch) | |
| tree | 874979f4a13190f227676f5e49355e6ceb9dae53 /diff.h | |
| parent | de5d560c99c96e2955fb4d1d8a8fa6b469926292 (diff) | |
bash completion: Hide more plumbing commands
git <tab><tab> still shows way too many commands, some of them
are clearly plumbing. This patch hides the plumbing commands
liberally (that is, in special cases, users still might want to
call one of the hidden commands, a *normal* workflow should never
involve these, though - and if it does, we have a UI problem anyway).
Signed-off-by: Petr Baudis <pasky@suse.cz>
Acked-by: Shawn O. Pearce <spearce@spearce.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'diff.h')
0 files changed, 0 insertions, 0 deletions