sharkdp/hyperfine

function check_index {

Pvdm691 opened this issue · 0 comments

Pvdm691 commented
function check_index {