diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-08-01 21:35:13 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-08-02 16:57:32 +0200 |
| commit | fbedd425b575868124577640fe02c9c0a73c4be3 (patch) | |
| tree | 80b942c87b1b68274573b3ef90a7091211e4769e /executor | |
| parent | d5b1542a54ed37d8b7c9a62bfc441893b509b198 (diff) | |
pkg/mgrconfig: move from syz-manager/mgrconfig
mgrconfig was used only by syz-manager initially,
but now it's used by a dozen of packages and it's
weird to import from under a binary dir.
pkg/ is much more reasonable dir for a widely used
helper package.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions