diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-06-05 16:20:58 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-06-05 16:20:58 +0000 |
commit | ffcb4b87846b4e4a2d9eee8df4b7ec40365878b8 (patch) | |
tree | 3c64877dd20ad1141111c77b3463e95686002b39 /doc/_themes/sphinx13/theme.conf | |
parent | Adding debian version 7.2.6-8. (diff) | |
download | sphinx-ffcb4b87846b4e4a2d9eee8df4b7ec40365878b8.tar.xz sphinx-ffcb4b87846b4e4a2d9eee8df4b7ec40365878b8.zip |
Merging upstream version 7.3.7.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
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 = |