diff options
author | Nathaniel Graff <nathaniel.graff@sifive.com> | 2019-03-29 19:48:55 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-29 19:48:55 +0000 |
commit | cebbb7cb6c7b16767b4ba04e7f231a784be9697a (patch) | |
tree | bdad19e81e0c9f2e988dd7054339ed1556ca6df9 /doc/Makefile | |
parent | 304acc90c507f5254b93d4dbaaff79a767e4fc29 (diff) | |
parent | 0cd16b328cdef918666a35fa142fb1b573d8edc5 (diff) |
Merge pull request #227 from sifive/rel-fix
Fix a minor cleanup miss
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions