diff options
| author | Miklos Vajna <vmiklos@frugalware.org> | 2008-05-12 19:22:56 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-05-21 12:54:49 -0700 |
| commit | c3170a83d6fee30c5d10afe33d88867ba0b68218 (patch) | |
| tree | cdaa24213da23edf0784529cca0913660f7418e5 /Documentation/git-rev-parse.txt | |
| parent | 26ec126a9166be39f79e746a3a8c92205c983820 (diff) | |
| download | git-c3170a83d6fee30c5d10afe33d88867ba0b68218.tar.gz | |
git-merge: exclude unnecessary options from OPTIONS_SPEC
gitcli(5) already documents them, and there are no options named
--no-no-stat, --no-no-summary and --no-no-log.
Signed-off-by: Miklos Vajna <vmiklos@frugalware.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-rev-parse.txt')
0 files changed, 0 insertions, 0 deletions