Update rust versions

2024-12-31 18:57:47 +01:00
parent fad38021ad
commit ab42d75662
13 changed files with 95 additions and 59 deletions
--- a/src/Tools/Tools.code-workspace
+++ b/src/Tools/Tools.code-workspace
@@ -66,14 +66,14 @@
            {
                "id": "build cfg",
                "type": "pickString",
-                "options": ["debug", "release"],
+                "options": ["debug", "release", "compatible", "incompatible"],
                "default": "release",
                "description": "build configuration"
            },
            {
                "id": "cargo cmd",
                "type":"pickString",
-                "options": ["build", "check", "update", "clean", "run", "tree"],
+                "options": ["build", "check", "update", "upgrade", "clean", "run", "tree"],
                "default": "build",
                "description": "cargo command to run"
            }