| author | Junio C Hamano <gitster@pobox.com> | |
| Sun, 22 Jul 2007 06:18:33 +0000 (23:18 -0700) | ||
| committer | Junio C Hamano <gitster@pobox.com> | |
| Sun, 22 Jul 2007 08:38:26 +0000 (01:38 -0700) | ||
| commit | e5633cbb8577b430f175f62cf4e7ed53f2434a89 | |
| tree | 342e2251e9403fa221ef4c29c0076710685126ce | tree | snapshot |
| parent | 98ec4ad7f908a6df8c2d4eedf309c06fe840c5c3 | commit | diff |
Synonyms: -i == --regexp-ignore-case, -E == --extended-regexp
These options to log family were too long to type. Give them
shorter synonyms.
Fix the parsing of the long options while at it.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
These options to log family were too long to type. Give them
shorter synonyms.
Fix the parsing of the long options while at it.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| Documentation/git-rev-list.txt | diff | blob | history | |
| revision.c | diff | blob | history |