diff --git a/benchmarks/otros/cybermetric b/benchmarks/otros/cybermetric deleted file mode 160000 index 2d82e92d..00000000 --- a/benchmarks/otros/cybermetric +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 2d82e92dd6171a3fd5b40f8306af3b8c366179e6