diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-01-16 14:49:47 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-01-16 14:49:47 +0100 |
| commit | d538790b533961dc27ea57611e326f857747a4ee (patch) | |
| tree | a9ee8dd47b8e805dc3f4cf37f77d7c6968db635d /executor/executor_bsd.h | |
| parent | 025b20b5cb6f6a5ca25ac0c8895da3db047d654d (diff) | |
pkg/mgrconfig: do not serialize optional fields
Since we now show manager config on web page, make it leaner.
Diffstat (limited to 'executor/executor_bsd.h')
0 files changed, 0 insertions, 0 deletions