From: enjoy-digital Date: Fri, 24 Jul 2020 08:02:06 +0000 (+0200) Subject: Merge pull request #602 from enjoy-digital/socdoc-extensions X-Git-Tag: 24jan2021_ls180~59 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3d16838d67057e9127e8a61d511e0fa8def23e6f;p=litex.git Merge pull request #602 from enjoy-digital/socdoc-extensions doc: socdoc: document `sphinx_extensions` parameter --- 3d16838d67057e9127e8a61d511e0fa8def23e6f