diff options
author | Jim Wilson <jimw@sifive.com> | 2018-09-13 12:06:09 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-13 12:06:09 -0700 |
commit | baeeb8fd497a99b3c141d7494309ec2e64f19bdf (patch) | |
tree | a4bb74cab62e9da7844b0fb463aa0e382bc49655 /doc/sphinx | |
parent | 12405e8ca6e08f2f3a49d412c635384fd54c6be0 (diff) | |
parent | c581e9bc7fabde23cb55e05f5c4ad4cc875bc236 (diff) |
Merge pull request #103 from kenta2/master
Correct the text of the make target
Diffstat (limited to 'doc/sphinx')
0 files changed, 0 insertions, 0 deletions