diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-10-21 10:48:53 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-21 12:43:40 +0200 |
| commit | 4312573385564ce63c87c1183ed9ac112e5dd94c (patch) | |
| tree | 196b46826f91e94b9ccf05bb136a30b944bbf2d3 /executor/executor_bsd.h | |
| parent | e761439ed86a09cbf7b94ede54671dc926326f3b (diff) | |
dashboard/config: delete old configs
All configs were moved into per-OS dirs in
"dashboard/config: move OS configs into separate dirs".
The move is deployed on syzbot. Delete old configs.
Update #2171
Diffstat (limited to 'executor/executor_bsd.h')
0 files changed, 0 insertions, 0 deletions