diff --git a/third_party/DeepGEMM b/third_party/DeepGEMM new file mode 160000 index 00000000..714dd1a4 --- /dev/null +++ b/third_party/DeepGEMM @@ -0,0 +1 @@ +Subproject commit 714dd1a4a980f7937a74343d19a8eba4fe321480