Bram 500c885da6 Add Sander's day 1 benchmarks		2025-12-02 00:37:58 +01:00
..
data	Add Sander's day 1 benchmarks	2025-12-02 00:37:58 +01:00
sander_hs	Add Sander's day 1 benchmarks	2025-12-02 00:37:58 +01:00
bob.sh	Add Bob's day 1 benchmarks	2025-12-01 23:31:31 +01:00
bram.sh	Add Bram's day 1 benchmarks	2025-12-01 17:30:38 +01:00
brechtje.sh	Add Brechtje's day 1 benchmarks	2025-12-01 23:56:07 +01:00
sander.sh	Add Sander's day 1 benchmarks	2025-12-02 00:37:58 +01:00
shell.nix	Add Sander's day 1 benchmarks	2025-12-02 00:37:58 +01:00