Skip to content

Remove integrator selection config; drop classic integrator#421

Merged
brickbots merged 1 commit into
mainfrom
remove_int_config
May 16, 2026
Merged

Remove integrator selection config; drop classic integrator#421
brickbots merged 1 commit into
mainfrom
remove_int_config

Commits

Commits on May 15, 2026