David Peter 365ff2584d Switch to --shell=none/-N, do not change the default

2022-02-22 22:51:09 +01:00

..

benchmark

Use raw executor by default, skip intermediate shell

2022-02-22 22:51:09 +01:00

export

…

output

…

parameter

…

timer

Rename to TimerResult

2022-02-22 13:24:05 +01:00

util

…

cli.rs

Switch to --shell=none/-N, do not change the default

2022-02-22 22:51:09 +01:00

command.rs

Use raw executor by default, skip intermediate shell

2022-02-22 22:51:09 +01:00

error.rs

…

main.rs

Update dependencies

2022-02-22 14:04:07 +01:00

options.rs

Switch to --shell=none/-N, do not change the default

2022-02-22 22:51:09 +01:00

outlier_detection.rs

…