diff options
| author |  Thomas Rast <trast@student.ethz.ch> | 2012-02-17 11:25:10 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2012-02-17 08:21:34 -0800 |
| commit | 134593c8ca1866bfbb0c63506f350ce9868fd7e5 (patch) | |
| tree | 3c9c5d85437772b38cf7b75f8c56097f1a907672 /Documentation/git-pull.txt | |
| parent | Introduce a performance testing framework (diff) | |
| download | tgif-134593c8ca1866bfbb0c63506f350ce9868fd7e5.tar.xz | |
Add a performance test for git-grep
The only catch is that we don't really know what our repo contains, so
we have to ignore any possible "not found" status from git-grep.
Signed-off-by: Thomas Rast <trast@student.ethz.ch>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-pull.txt')
0 files changed, 0 insertions, 0 deletions