projects
/
nmigen.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
vendor.quicklogic: part→package
[nmigen.git]
/
docs
/
conf.py
diff --git
a/docs/conf.py
b/docs/conf.py
index d09a122bbaf8973a0ff3f882f0c0783ee6a42da6..bf295579db835ebe4cb8b17cede07d310c28c9da 100644
(file)
--- a/
docs/conf.py
+++ b/
docs/conf.py
@@
-12,8
+12,8
@@
extensions = [
"sphinx.ext.intersphinx",
"sphinx.ext.doctest",
"sphinx.ext.todo",
- "sphinxcontrib.contentui",
"sphinx_rtd_theme",
+ "sphinxcontrib.platformpicker",
]
with open(".gitignore") as f: