diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-02-18 16:02:42 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-02-18 16:05:10 +0100 |
| commit | 135c18aadb0147f93d3e2658e42fc7a479b9ad04 (patch) | |
| tree | 74ba2b3a708ebe1f06a79adb73e4b44785ba4d95 /docs/linux/setup_linux-host_isolated.md | |
| parent | 012fbc3229ebef871a201ea431b16610e6e0d345 (diff) | |
tools: add script that checks copyright headers
Fixes #1604
Diffstat (limited to 'docs/linux/setup_linux-host_isolated.md')
0 files changed, 0 insertions, 0 deletions