diff options
| author | Kevin Mills <kevin.mills@sifive.com> | 2019-06-20 11:20:07 -0700 |
|---|---|---|
| committer | Kevin Mills <kevin.mills@sifive.com> | 2019-06-20 11:20:07 -0700 |
| commit | 8c9a08bc9afbaf08f055e4fa3c7daaa7153af569 (patch) | |
| tree | 4ccca658340c2cb6c1a07beb4216076a38f2e280 /scripts/open-docs | |
| parent | 55f4362c9827474b8666ec0506e94b2a41c3e8e2 (diff) | |
make "clean" work too.
Diffstat (limited to 'scripts/open-docs')
0 files changed, 0 insertions, 0 deletions