| commit | c3170a83d6fee30c5d10afe33d88867ba0b68218 | [log] [tgz] |
|---|---|---|
| author | Miklos Vajna <vmiklos@frugalware.org> | Mon May 12 19:22:56 2008 +0200 |
| committer | Junio C Hamano <gitster@pobox.com> | Wed May 21 12:54:49 2008 -0700 |
| tree | cdaa24213da23edf0784529cca0913660f7418e5 | |
| parent | 26ec126a9166be39f79e746a3a8c92205c983820 [diff] |
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>