diff options
| author | Robby Russell <robby@planetargon.com> | 2013-12-02 22:28:11 -0800 |
|---|---|---|
| committer | Robby Russell <robby@planetargon.com> | 2013-12-02 22:28:11 -0800 |
| commit | ac838345f5cd0f440bd75dfc98c98b9691b03164 (patch) | |
| tree | e71ab02439a37bb3b0c2d7f26c07db45c5d29998 /lib/grep.zsh | |
| parent | 55897415066e96bb89ecdc68a59a2ce8de302eae (diff) | |
| parent | fbd479b68e2c58068666f738a009ef7a1ca8abde (diff) | |
| download | zsh-ac838345f5cd0f440bd75dfc98c98b9691b03164.tar.gz zsh-ac838345f5cd0f440bd75dfc98c98b9691b03164.tar.bz2 zsh-ac838345f5cd0f440bd75dfc98c98b9691b03164.zip | |
Merge pull request #2270 from michaelorr/slow-git-fix
Optionally disable git_prompt_info with git config option for very large repos
Diffstat (limited to 'lib/grep.zsh')
0 files changed, 0 insertions, 0 deletions