Code

Update readthedocs build environment#899

Code

Merged

boehmseb merged 1 commit intovara-devse-sic/VaRA-Tool-Suite:vara-devfrom f-update-readthedocsse-sic/VaRA-Tool-Suite:f-update-readthedocsCopy head branch name to clipboardDec 19, 2024

+2-2

Commits

Commits on Dec 19, 2024

• Update readthedocs build environment

  boehmseb

  authored
  625a9e7