-
Dominik Charousset authored
The benchmarks moved to a separate repository a long time ago. It's time to remove the legacy build option.
803ba536
The benchmarks moved to a separate repository a long time ago. It's time to remove the legacy build option.