diff options
| author | Matt Godbolt <matt@godbolt.org> | 2022-11-14 22:55:24 -0600 |
|---|---|---|
| committer | Matt Godbolt <matt@godbolt.org> | 2022-11-14 22:55:24 -0600 |
| commit | 1721f674810402598dcc1e53cccca6a1dabd3809 (patch) | |
| tree | 90a36d86962c8c0969fb971c4ff4672ef9dd25f8 | |
| parent | b3676c868e76cb8d73bf3d8bc579b2494d1aaf7e (diff) | |
| download | compiler-explorer-gh-4889.tar.gz compiler-explorer-gh-4889.zip | |
Remove (now) unnecessary gpu propertiesgh-4889
| -rw-r--r-- | etc/config/ada.gpu.properties | 1 | ||||
| -rw-r--r-- | etc/config/assembly.gpu.properties | 1 | ||||
| -rw-r--r-- | etc/config/c++.gpu.properties | 1 | ||||
| -rw-r--r-- | etc/config/c.gpu.properties | 1 | ||||
| -rw-r--r-- | etc/config/carbon.gpu.properties | 1 | ||||
| -rw-r--r-- | etc/config/circle.gpu.properties | 1 | ||||
| -rw-r--r-- | etc/config/cpp2_cppfront.gpu.properties | 1 | ||||
| -rw-r--r-- | etc/config/cpp_for_opencl.gpu.properties | 1 | ||||
| -rw-r--r-- | etc/config/csharp.gpu.properties | 1 | ||||
| -rw-r--r-- | etc/config/fsharp.gpu.properties | 1 | ||||
| -rw-r--r-- | etc/config/hlsl.gpu.properties | 1 | ||||
| -rw-r--r-- | etc/config/hook.gpu.properties | 1 | ||||
| -rw-r--r-- | etc/config/llvm.gpu.properties | 1 | ||||
| -rw-r--r-- | etc/config/ocaml.gpu.properties | 1 | ||||
| -rw-r--r-- | etc/config/openclc.gpu.properties | 1 | ||||
| -rw-r--r-- | etc/config/python.gpu.properties | 1 | ||||
| -rw-r--r-- | etc/config/typescript.gpu.properties | 1 | ||||
| -rw-r--r-- | etc/config/vb.gpu.properties | 1 |
18 files changed, 0 insertions, 18 deletions
diff --git a/etc/config/ada.gpu.properties b/etc/config/ada.gpu.properties deleted file mode 100644 index 5a2c5b6dc..000000000 --- a/etc/config/ada.gpu.properties +++ /dev/null @@ -1 +0,0 @@ -compilers= diff --git a/etc/config/assembly.gpu.properties b/etc/config/assembly.gpu.properties deleted file mode 100644 index 5a2c5b6dc..000000000 --- a/etc/config/assembly.gpu.properties +++ /dev/null @@ -1 +0,0 @@ -compilers= diff --git a/etc/config/c++.gpu.properties b/etc/config/c++.gpu.properties deleted file mode 100644 index 5a2c5b6dc..000000000 --- a/etc/config/c++.gpu.properties +++ /dev/null @@ -1 +0,0 @@ -compilers= diff --git a/etc/config/c.gpu.properties b/etc/config/c.gpu.properties deleted file mode 100644 index 5a2c5b6dc..000000000 --- a/etc/config/c.gpu.properties +++ /dev/null @@ -1 +0,0 @@ -compilers= diff --git a/etc/config/carbon.gpu.properties b/etc/config/carbon.gpu.properties deleted file mode 100644 index 5a2c5b6dc..000000000 --- a/etc/config/carbon.gpu.properties +++ /dev/null @@ -1 +0,0 @@ -compilers= diff --git a/etc/config/circle.gpu.properties b/etc/config/circle.gpu.properties deleted file mode 100644 index 5a2c5b6dc..000000000 --- a/etc/config/circle.gpu.properties +++ /dev/null @@ -1 +0,0 @@ -compilers= diff --git a/etc/config/cpp2_cppfront.gpu.properties b/etc/config/cpp2_cppfront.gpu.properties deleted file mode 100644 index 5a2c5b6dc..000000000 --- a/etc/config/cpp2_cppfront.gpu.properties +++ /dev/null @@ -1 +0,0 @@ -compilers= diff --git a/etc/config/cpp_for_opencl.gpu.properties b/etc/config/cpp_for_opencl.gpu.properties deleted file mode 100644 index 5a2c5b6dc..000000000 --- a/etc/config/cpp_for_opencl.gpu.properties +++ /dev/null @@ -1 +0,0 @@ -compilers= diff --git a/etc/config/csharp.gpu.properties b/etc/config/csharp.gpu.properties deleted file mode 100644 index 5a2c5b6dc..000000000 --- a/etc/config/csharp.gpu.properties +++ /dev/null @@ -1 +0,0 @@ -compilers= diff --git a/etc/config/fsharp.gpu.properties b/etc/config/fsharp.gpu.properties deleted file mode 100644 index 5a2c5b6dc..000000000 --- a/etc/config/fsharp.gpu.properties +++ /dev/null @@ -1 +0,0 @@ -compilers= diff --git a/etc/config/hlsl.gpu.properties b/etc/config/hlsl.gpu.properties deleted file mode 100644 index 5a2c5b6dc..000000000 --- a/etc/config/hlsl.gpu.properties +++ /dev/null @@ -1 +0,0 @@ -compilers= diff --git a/etc/config/hook.gpu.properties b/etc/config/hook.gpu.properties deleted file mode 100644 index 5a2c5b6dc..000000000 --- a/etc/config/hook.gpu.properties +++ /dev/null @@ -1 +0,0 @@ -compilers= diff --git a/etc/config/llvm.gpu.properties b/etc/config/llvm.gpu.properties deleted file mode 100644 index 5a2c5b6dc..000000000 --- a/etc/config/llvm.gpu.properties +++ /dev/null @@ -1 +0,0 @@ -compilers= diff --git a/etc/config/ocaml.gpu.properties b/etc/config/ocaml.gpu.properties deleted file mode 100644 index 5a2c5b6dc..000000000 --- a/etc/config/ocaml.gpu.properties +++ /dev/null @@ -1 +0,0 @@ -compilers= diff --git a/etc/config/openclc.gpu.properties b/etc/config/openclc.gpu.properties deleted file mode 100644 index 5a2c5b6dc..000000000 --- a/etc/config/openclc.gpu.properties +++ /dev/null @@ -1 +0,0 @@ -compilers= diff --git a/etc/config/python.gpu.properties b/etc/config/python.gpu.properties deleted file mode 100644 index 5a2c5b6dc..000000000 --- a/etc/config/python.gpu.properties +++ /dev/null @@ -1 +0,0 @@ -compilers= diff --git a/etc/config/typescript.gpu.properties b/etc/config/typescript.gpu.properties deleted file mode 100644 index 5a2c5b6dc..000000000 --- a/etc/config/typescript.gpu.properties +++ /dev/null @@ -1 +0,0 @@ -compilers= diff --git a/etc/config/vb.gpu.properties b/etc/config/vb.gpu.properties deleted file mode 100644 index 5a2c5b6dc..000000000 --- a/etc/config/vb.gpu.properties +++ /dev/null @@ -1 +0,0 @@ -compilers= |