Configure VSCode custom Dafny using envvar instead of the config file

Changes

1 changed files (+1/-3)

• VSCodium/User/settings.json
  • @@ -4,6 +4,4 @@
    "editor.wordWrap": "on", "git.autofetch": true, "git.enableSmartCommit": true, - "dafny.version": "custom", - "dafny.cliPath": "/run/current-system/sw/lib/Dafny/Dafny.dll", - } + }