David Peter 3d4710f6e0 Clippy suggestions

2023-06-03 23:24:11 +02:00

..

benchmark_result.rs

Show unused parameters in command names

2023-04-20 21:39:23 +02:00

executor.rs

Change order of input/outut

2023-03-15 09:33:49 +01:00

mod.rs

Spelling and grammar fixes

2023-05-18 16:31:44 +02:00

relative_speed.rs

Add new --sort option

2023-06-03 21:34:36 +02:00

scheduler.rs

Clippy suggestions

2023-06-03 23:24:11 +02:00

timing_result.rs

Move functionality to scheduler

2022-02-22 09:07:40 +01:00