diff options
| author | Greg Steuck <gnezdo@google.com> | 2018-09-19 16:28:02 -0700 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-09-20 11:03:43 +0200 |
| commit | b117b6ed3dc89b7e307dab907dafc0e7defd5756 (patch) | |
| tree | f6c8aff37364f3021a7c4b3abb8d14ff90e31907 /executor | |
| parent | 7f7e03fda2e99767bf8a4b69737c2ca99a0b39fd (diff) | |
tools/*openbsd*: smaller VMM images and tweaks.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions