diff options
author | JP Ungaretti <git@jungaretti.com> | 2022-11-10 06:27:32 +0300 |
---|---|---|
committer | JP Ungaretti <git@jungaretti.com> | 2022-11-10 06:27:32 +0300 |
commit | ccf0943b07f2ca4f3f6d85edf65d3dbfaf3c0009 (patch) | |
tree | 20d53900e373b5e00c427e335c2e6368b0d396b9 /src/nvidia-cuda/devcontainer-feature.json | |
parent | 3020d6da64798ee994d407ffd3ce3f800f6dff92 (diff) |
Rename cudaVersion to versionjungaretti/fix-cuda-version-name
Diffstat (limited to 'src/nvidia-cuda/devcontainer-feature.json')
-rw-r--r-- | src/nvidia-cuda/devcontainer-feature.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/nvidia-cuda/devcontainer-feature.json b/src/nvidia-cuda/devcontainer-feature.json index 76a5ec2..4b39782 100644 --- a/src/nvidia-cuda/devcontainer-feature.json +++ b/src/nvidia-cuda/devcontainer-feature.json @@ -15,7 +15,7 @@ "default": false, "description": "Additionally install NVIDIA Tools Extension (NVTX)" }, - "cudaVersion": { + "version": { "type": "string", "enum": [ "11.7", |