summaryrefslogtreecommitdiff
path: root/doc/sphinx
diff options
context:
space:
mode:
authorpbing <bernd.beuster@gmail.com>2017-09-22 19:19:37 +0200
committerMegan Wachs <megan@sifive.com>2017-09-22 10:19:37 -0700
commit9da0958bcb48f08e69f9099d9741735dcd44de0b (patch)
tree23c60f1b1ad78674b7bd1a7d4c58792b38c335e6 /doc/sphinx
parent9a395b03bc56fdbc01720942825f9b726ce0978e (diff)
Fix name resolving issue (#74)
Diffstat (limited to 'doc/sphinx')
0 files changed, 0 insertions, 0 deletions