diff options
Diffstat (limited to 'ports/spirv-headers/CONTROL')
| -rw-r--r-- | ports/spirv-headers/CONTROL | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/ports/spirv-headers/CONTROL b/ports/spirv-headers/CONTROL deleted file mode 100644 index 8a6051d13..000000000 --- a/ports/spirv-headers/CONTROL +++ /dev/null @@ -1,4 +0,0 @@ -Source: spirv-headers -Version: 1.5.1 -Homepage: https://github.com/KhronosGroup/SPIRV-Headers -Description: Machine-readable files for the SPIR-V Registry |