Closed mieubrisse closed 2 years ago
This would allow us to specify config params (e.g. total terminal difficulty) in exactly one place
Done
This would allow us to specify config params (e.g. total terminal difficulty) in exactly one place