diff --git a/third_party/benchmark b/third_party/benchmark new file mode 160000 index 0000000..bf585a2 --- /dev/null +++ b/third_party/benchmark @@ -0,0 +1 @@ +Subproject commit bf585a2789e30585b4e3ce6baf11ef2750b54677