diff --git a/third_party/opencl b/third_party/opencl deleted file mode 160000 index 436f081..0000000 --- a/third_party/opencl +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 436f081d9f451731d661407bd60e69f1e7e1a3f6