Skip to content

Update readthedocs configuration#97

Merged
Dekker1 merged 5 commits intoMiniZinc:developfrom Dekker1:fix/readthedocsNov 21, 2023

Commits

Commits on Nov 21, 2023