Skip to content
Snippets Groups Projects
  1. Dec 18, 2021
  2. Jun 26, 2021
    • Matthias Schiffer's avatar
      docs: pin theme version · 32ae0719
      Matthias Schiffer authored
      rtd.io uses a severely outdated theme version with several known bugs by
      default. Pin to a never version to get the bugfixes.
      32ae0719
  3. Jun 03, 2020
Loading