Removed `benchmark` and `split` options, extracting these values from `source`#1745

Merged

mikel-brostrom merged 1 commit intomikel-brostrom:masterfrom Fleyderer:master

Nov 18, 2024

Commits on Nov 18, 2024

Removed benchmark and split options, extracting these values from source
Fleyderer
committed