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)
commit3d16838d67057e9127e8a61d511e0fa8def23e6f
tree9103e49cfb435d8800d57d6ef1daf62d9590ed86
parent8337039915ace62ceea4c11a34a8674912e08d30
parent7fecfbf8e0636453d6f540084ad49ab78afe50c1
Merge pull request #602 from enjoy-digital/socdoc-extensions

doc: socdoc: document `sphinx_extensions` parameter