diff --git a/bench/results b/bench/results deleted file mode 160000 index fbecff030..000000000 --- a/bench/results +++ /dev/null @@ -1 +0,0 @@ -Subproject commit fbecff0308e6ca1b2fca06e61448d08235380f56 diff --git a/benchmarks b/benchmarks deleted file mode 160000 index 3da62d8e3..000000000 --- a/benchmarks +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 3da62d8e3cb92e083340eaedca7bfd1d9467a2a2