💚 Attempt to fix RTD

cda-tum · Oct 9, 2023 · bba3a92 · bba3a92
1 parent 82a9c22
commit bba3a92
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -1,4 +1,5 @@
 sphinx==7.2.6
 breathe==4.35.0
 sphinx-rtd-theme==1.3.0
+sphinx-tabs==3.4.1
 z3-solver>=4.8.0