Do not use old futhark-benchmarks.

diku-dk · Feb 14, 2023 · 81ca1ab · 81ca1ab
1 parent 1392be3
commit 81ca1ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/futhark-benchmarks b/futhark-benchmarks