diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-04-23 16:28:24 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-04-23 16:28:24 +0200 |
| commit | 0d8e591c311d300e70a15a236e5061f48a936ba8 (patch) | |
| tree | 547b0e057402a02768731dc3f78c34217f89b281 /executor/executor_freebsd.cc | |
| parent | 8b5dcf17b0f9fa01f9a4f93c144c56fe3f7468f2 (diff) | |
syz-ci: reduce git poll period
Diffstat (limited to 'executor/executor_freebsd.cc')
0 files changed, 0 insertions, 0 deletions