From 5de84c9242643f786eff03726286578726d7d390 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 5 Jun 2024 18:20:59 +0200 Subject: Merging upstream version 7.3.7. Signed-off-by: Daniel Baumann --- doc/_themes/sphinx13/theme.conf | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 doc/_themes/sphinx13/theme.conf (limited to 'doc/_themes/sphinx13/theme.conf') 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 = -- cgit v1.2.3