Skip to content

Added option to manually specify a reference to compare the results to.#744

Merged
sharkdp merged 4 commits intosharkdp:masterfrom
JanEricNitschke:master
Jun 30, 2024
Merged

Added option to manually specify a reference to compare the results to.#744
sharkdp merged 4 commits intosharkdp:masterfrom
JanEricNitschke:master