diff options
| author | Alexander Potapenko <ramosian.glider@gmail.com> | 2018-10-02 15:41:28 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-10-02 15:41:28 +0200 |
| commit | a316a2afeeda63a9b013f8d734c3cd38849e2354 (patch) | |
| tree | f1849c24e59f2617cc92436684e6590fe7f803bb /docs/linux | |
| parent | e06f77131b8466a01d9bc1466bd22c9620f4c786 (diff) | |
kmsan: add kmsan_from_kasan_config.sh to generate KMSAN config
Diffstat (limited to 'docs/linux')
0 files changed, 0 insertions, 0 deletions