diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2007-07-21 23:18:33 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-07-22 01:38:26 -0700 |
| commit | e5633cbb8577b430f175f62cf4e7ed53f2434a89 (patch) | |
| tree | 342e2251e9403fa221ef4c29c0076710685126ce /Documentation/install-webdoc.sh | |
| parent | Documentation/gitignore.txt: Fix the seriously misleading priority explanation (diff) | |
| download | tgif-e5633cbb8577b430f175f62cf4e7ed53f2434a89.tar.xz | |
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>
Diffstat (limited to 'Documentation/install-webdoc.sh')
0 files changed, 0 insertions, 0 deletions