Closed jeffeaton closed 1 year ago
Eventually, we should really move this exclusively to naomi.options. For another day.
Thanks. Corresponding hintr PR at https://github.com/mrc-ide/hintr/pull/458
Eventually, we should really move this exclusively to naomi.options. For another day.