diff options
| author | Kevin Mills <kevin.mills@sifive.com> | 2019-01-29 07:23:01 -0800 |
|---|---|---|
| committer | Kevin Mills <kevin.mills@sifive.com> | 2019-01-29 07:23:01 -0800 |
| commit | 11658f2830316dc9afa9675c4bdec6af8f501a33 (patch) | |
| tree | a4cb104a92f11279217be9a6f39e20c72638600b /doc/html | |
| parent | c5277fc5fbebcacbe7f927c5914be485d6f76ccd (diff) | |
Remove '-r' from sed command (not required and does not work on MacOS). Remove 'echo Done', no longer needed.
Diffstat (limited to 'doc/html')
0 files changed, 0 insertions, 0 deletions