diff options
| author | Andrey Konovalov <andreyknvl@google.com> | 2019-06-26 18:31:59 +0200 |
|---|---|---|
| committer | Andrey Konovalov <andreyknvl@gmail.com> | 2019-07-01 17:26:35 +0200 |
| commit | cccc4302d7da39e2fc41f9275442c267935632b7 (patch) | |
| tree | 6e3760b872a3e1ac8bd7c1bf11c3afc54e0c3190 /docs/linux | |
| parent | 13c3a9996267a61c26f140209560dc44e32232de (diff) | |
sys/linux, executor: run make extract and generate
Diffstat (limited to 'docs/linux')
0 files changed, 0 insertions, 0 deletions