diff options
| author |  Miklos Vajna <vmiklos@frugalware.org> | 2008-01-18 23:58:57 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2008-01-18 15:09:08 -0800 |
| commit | fdcf39e59b98536d2d65b26a59925dc1dea421d4 (patch) | |
| tree | 4ebc125fd70a9d7f31304a8d6ed1e7893f726636 /grep.c | |
| parent | http-push: disable http-push without USE_CURL_MULTI (diff) | |
| download | tgif-fdcf39e59b98536d2d65b26a59925dc1dea421d4.tar.xz | |
Include rev-list options in git-log manpage.
Replace the "This manual page describes only the most frequently used options."
text with the list of rev-list options in git-log manpage. (The git-diff-tree
options are already included.)
Move these options to a separate file and include it from both
git-rev-list.txt and git-log.txt.
Signed-off-by: Miklos Vajna <vmiklos@frugalware.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'grep.c')
0 files changed, 0 insertions, 0 deletions