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 |