Skip to content

Revert "Simplify handling of default difficulty"#43

Merged
grunch merged 1 commit intogrunch:mainfrom ok300:revert-41-ok300-simplify-default-difficultyJul 5, 2023
+10-4

Commits

Commits on Jul 4, 2023