From 7957441520656a85a409eaf70b5d7d65ed0283cd Mon Sep 17 00:00:00 2001 From: Jens Steube Date: Sun, 14 Oct 2018 12:53:05 +0200 Subject: [PATCH] Cleanup .gitmodules --- .gitmodules | 3 --- deps/git/OpenCL-Headers | 1 - 2 files changed, 4 deletions(-) delete mode 160000 deps/git/OpenCL-Headers diff --git a/.gitmodules b/.gitmodules index 3fe61e979..2bba20905 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,3 @@ -[submodule "deps/OpenCL-Headers/CL"] - path = deps/OpenCL-Headers/CL - url = https://github.com/KhronosGroup/OpenCL-Headers.git [submodule "OpenCL-Headers"] path = deps/git/OpenCL-Headers url = https://github.com/KhronosGroup/OpenCL-Headers.git diff --git a/deps/git/OpenCL-Headers b/deps/git/OpenCL-Headers deleted file mode 160000 index d51692456..000000000 --- a/deps/git/OpenCL-Headers +++ /dev/null @@ -1 +0,0 @@ -Subproject commit d5169245693563d4c69434ba061d92d3d68c4123