Remove garbage

dafny-lang · May 8, 2024 · 9f4eac4 · 9f4eac4
1 parent 854dbe4
commit 9f4eac4
Showing 1 changed file with 0 additions and 30 deletions.
diff --git a/.vscode/launch.json b/.vscode/launch.json
@@ -33,36 +33,6 @@
       ],
       "preLaunchTask": "${defaultBuildTask}"
     },
-    {
-      "name": "Run with $DAFNY_DEV_SERVER2",
-      "type": "extensionHost",
-      "request": "launch",
-      "args": [
-        "--extensionDevelopmentPath=${workspaceFolder}"
-      ],
-      "env": {
-        "DAFNY_SERVER_OVERRIDE": "/Users/rwillems/SourceCode/dafny2/Scripts/dafny",
-      },
-      "outFiles": [
-        "${workspaceFolder}/dist/**/*.js"
-      ],
-      "preLaunchTask": "${defaultBuildTask}"
-    },
-    {
-      "name": "Run with $DAFNY_DEV_SERVER3",
-      "type": "extensionHost",
-      "request": "launch",
-      "args": [
-        "--extensionDevelopmentPath=${workspaceFolder}"
-      ],
-      "env": {
-        "DAFNY_SERVER_OVERRIDE": "/Users/rwillems/SourceCode/dafny3/Scripts/dafny",
-      },
-      "outFiles": [
-        "${workspaceFolder}/dist/**/*.js"
-      ],
-      "preLaunchTask": "${defaultBuildTask}"
-    },
     {
       "name": "Extension Tests",
       "type": "extensionHost",