diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-06-17 12:29:35 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-06-17 14:41:10 +0200 |
| commit | 75c73461d8c3025e9974da2215000d849c43bbbc (patch) | |
| tree | 4d725dc979b32eb3a693941511a4c1296b159c17 /executor/executor.cc | |
| parent | 4cc7e0862826e6703642cfbf6440e3ef8fd8da0e (diff) | |
syz-manager/config: rename to syz-manager/mgrconfig
We have 2 packages with the same name: pkg/config and syz-manager/config.
This leads to constant clashes. We either rename one to pkgconfig or
another to mgrconfig. This is not good and will become worse when/if
we have another program-specific config in a separate package.
Rename manager config to mgrconfig.
Other program-specific configs can use the same convention
in future -- fooconfig.
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions