diff options
Diffstat (limited to 'doc/_themes/sphinx_rtd_theme')
| m--------- | doc/_themes/sphinx_rtd_theme | 0 |
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 |