Skip to content

Remove sphinx theme from .gitmodules#3038

Merged
svekars merged 1 commit intomainfrom
svekars-patch-28
Sep 6, 2024
Merged

Remove sphinx theme from .gitmodules#3038
svekars merged 1 commit intomainfrom
svekars-patch-28

Commits

Commits on Sep 5, 2024