aboutsummaryrefslogtreecommitdiff
path: root/doc/_themes/sphinx_rtd_theme
diff options
context:
space:
mode:
Diffstat (limited to 'doc/_themes/sphinx_rtd_theme')
m---------doc/_themes/sphinx_rtd_theme0
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/_themes/sphinx_rtd_theme b/doc/_themes/sphinx_rtd_theme
deleted file mode 160000
-Subproject eeff5645dc4eeb7a5c4910d39c17131961045dc