diff --git a/benchmarks/dataset_cti_bench b/benchmarks/dataset_cti_bench deleted file mode 160000 index a801d31c..00000000 --- a/benchmarks/dataset_cti_bench +++ /dev/null @@ -1 +0,0 @@ -Subproject commit a801d31c6f1e8e279dfcf41f7fd4a16b72333046