We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 828e17c commit 92f2b18Copy full SHA for 92f2b18
patches/11SEP2023_fix_rtd_theme.patch
@@ -6,8 +6,8 @@ Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
6
<+>UTF-8
7
===================================================================
8
diff --git a/docs/conf.py b/docs/conf.py
9
---- a/docs/conf.py (revision 5db9162ece6bc3e0d210f829a1bf895c2beccec6)
10
-+++ b/docs/conf.py (revision 253b97bcaab4dd28caee2d4a696926a9e0caef7b)
+--- a/docs/conf.py
++++ b/docs/conf.py
11
@@ -101,19 +101,10 @@
12
# The theme to use for HTML and HTML Help pages. See the documentation for
13
# a list of builtin themes.
0 commit comments