Skip to content

Remove support for PseudoDojo v0.3; enable fixed v0.4 families#39

Merged
sphuber merged 1 commit intoaiidateam:masterfrom zooks97:fix/update-dojo-configsDec 16, 2020