diff options
| -rw-r--r-- | .gitmodules | 6 | ||||
| m--------- | externals/SPIRV-Headers | 0 | ||||
| m--------- | externals/SPIRV-Tools | 0 |
3 files changed, 0 insertions, 6 deletions
diff --git a/.gitmodules b/.gitmodules index 8f1cc4342..0d8210906 100644 --- a/.gitmodules +++ b/.gitmodules @@ -67,9 +67,3 @@ [submodule "Vulkan-Utility-Libraries"] path = externals/Vulkan-Utility-Libraries url = https://github.com/KhronosGroup/Vulkan-Utility-Libraries.git -[submodule "externals/SPIRV-Tools"] - path = externals/SPIRV-Tools - url = https://github.com/KhronosGroup/SPIRV-Tools.git -[submodule "externals/SPIRV-Headers"] - path = externals/SPIRV-Headers - url = https://github.com/KhronosGroup/SPIRV-Headers.git diff --git a/externals/SPIRV-Headers b/externals/SPIRV-Headers deleted file mode 160000 -Subproject 2b2e05e088841c63c0b6fd4c9fb380d8688738d diff --git a/externals/SPIRV-Tools b/externals/SPIRV-Tools deleted file mode 160000 -Subproject b9d5ced92ac454caf526c3b80d5105a1f38878c |