projects / litex.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 8337039 7fecfbf)
Merge pull request #602 from enjoy-digital/socdoc-extensions
authorenjoy-digital <florent@enjoy-digital.fr>
Fri, 24 Jul 2020 08:02:06 +0000 (10:02 +0200)
committerGitHub <noreply@github.com>
Fri, 24 Jul 2020 08:02:06 +0000 (10:02 +0200)
doc: socdoc: document `sphinx_extensions` parameter


Trivial merge