Closed BjoernLudwigPTB closed 2 years ago
For a couple of months already our docs did not build successfully anymore. Here we adapt the config as needed and make sure everything looks nice again.
For a couple of months already our docs did not build successfully anymore. Here we adapt the config as needed and make sure everything looks nice again.