diff --git a/external/benchmark b/external/benchmark deleted file mode 160000 index 090faecb..00000000 --- a/external/benchmark +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 090faecb454fbd6e6e17a75ef8146acb037118d4