diff options
| author | Andrey Konovalov <andreyknvl@google.com> | 2019-09-15 14:16:42 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-09-17 14:42:25 +0200 |
| commit | 669cade06ad1b2fd513e05d935dd8b700ed9e2ad (patch) | |
| tree | 028850a8bf8e1eb841dda65ff9e9077801201ba1 /executor/executor.cc | |
| parent | c9364a464803dee7c57da611a17d01b57b53ff7d (diff) | |
dashboard/config: add debian stretch options
See #760 for details.
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions