diff options
| author | Miklos Vajna <vmiklos@frugalware.org> | 2008-01-19 01:58:57 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-01-19 02:09:08 +0300 |
| commit | fdcf39e59b98536d2d65b26a59925dc1dea421d4 (patch) | |
| tree | 4ebc125fd70a9d7f31304a8d6ed1e7893f726636 /Documentation/git-cherry-pick.txt | |
| parent | f854824bc50c3a05d7773dce81052f9eb8670d5f (diff) | |
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 'Documentation/git-cherry-pick.txt')
0 files changed, 0 insertions, 0 deletions