diff options
Diffstat (limited to 'doc/_themes/sphinx13/theme.conf')
-rw-r--r-- | doc/_themes/sphinx13/theme.conf | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/_themes/sphinx13/theme.conf b/doc/_themes/sphinx13/theme.conf deleted file mode 100644 index 78bb78f..0000000 --- a/doc/_themes/sphinx13/theme.conf +++ /dev/null @@ -1,4 +0,0 @@ -[theme] -inherit = basic -pygments_style = default -sidebars = |