diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-05-05 16:02:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-05 16:02:37 +0200 |
| commit | 3b7289ea117fc943d1336fa2530b0d52e8b05f52 (patch) | |
| tree | 2ba26df910d3a1052505f1e69c900ed0040dfa50 /executor/common.h | |
| parent | 0036885d536b6d49e4f8341b848e965c186c4e97 (diff) | |
| parent | 5dcf0fdba4af79cf3cd8873838380fdae151d6c5 (diff) | |
Merge pull request #170 from xairy/up-fix-rce-reproduce
gce: use 'reproduce: true' in manager cfg
Diffstat (limited to 'executor/common.h')
0 files changed, 0 insertions, 0 deletions