tree 9d4877a030c0234b450ca7e70f95df45233ccaa5
parent 533bcfd69411ece417f1da5ca5561565f8328f62
author Sergiu Deitsch <sergiu.deitsch@gmail.com> 1739787847 +0100
committer Sergiu Deitsch <sergiu.deitsch@gmail.com> 1739806977 -0800

Cleanup Sphinx config

Change-Id: Iea63ec709fda82685c5f484d643627213cdc1496