diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-06-15 12:49:30 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-06-15 18:57:58 +0200 |
| commit | 911738ed1f548527657f0104741d8fc287e9df04 (patch) | |
| tree | 557adef7355955a1f3674c35ee70d04c6f822fef /docs/linux | |
| parent | f56b57263868a898c5368477245ca45bc49f761a (diff) | |
tools/syz-crush: simplify and tidy
As discussed in #1798.
Diffstat (limited to 'docs/linux')
0 files changed, 0 insertions, 0 deletions