diff options
| author |  Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2007-08-29 15:15:34 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2007-08-29 13:19:41 -0700 |
| commit | 7d37b5bf4eda8b2dcca371fb4b5ebd50fed64d67 (patch) | |
| tree | fce334f5cfbee4c71841968676c12152379485bb /Documentation/user-manual.txt | |
| parent | git-daemon(1): assorted improvements. (diff) | |
| download | tgif-7d37b5bf4eda8b2dcca371fb4b5ebd50fed64d67.tar.xz | |
completion: also complete git-log's --left-right and --cherry-pick option
Both --left-right and --cherry-pick are particularly long to type, so
help the user there.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/user-manual.txt')
0 files changed, 0 insertions, 0 deletions