diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-08-28 10:48:21 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-08-28 10:48:21 +0200 |
| commit | 776431e7265e1d6ebdc5b6261313b7308a663ce7 (patch) | |
| tree | 18bab79a093655a5e027f04565d24b8971fc7f25 /executor/executor.cc | |
| parent | 76906672672365b9e31328a0047baf62db9190b6 (diff) | |
manager: ignore .git dir in corpus
For the case the corpus is checked into git.
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions