deb_ndsphinx_optional
authorDebian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Tue, 29 May 2018 13:50:59 +0000 (14:50 +0100)
committerGraham Inggs <ginggs@debian.org>
Tue, 29 May 2018 13:50:59 +0000 (14:50 +0100)
commitbcfd2b57777f2695f69fddfa223832bed0a32190
tree8674178deaae51284b8eb70b1a7f9614d985abf6
parent2e3c782aaa34b4bf3df840f62d9ee0c41b12a3b1
deb_ndsphinx_optional

Gbp-Pq: Name deb_ndsphinx_optional
doc/source/conf.py