Skip to content

Commit

Permalink
Internal VSCode change.
Browse files Browse the repository at this point in the history
[Dev]
  • Loading branch information
lemmy committed Feb 21, 2024

Verified

This commit was signed with the committer’s verified signature.
snyk-bot Snyk bot
1 parent b4deee7 commit 997d018
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion .vscode/settings.json
Original file line number Diff line number Diff line change
@@ -3,7 +3,9 @@
"tlaplus.smoke.prefix.name": "Smoke",
"tlaplus.tlc.modelChecker.options": "-deadlock -noTE",
"tlaplus.java.options": "-XX:+UseParallelGC -agentlib:jdwp=transport=dt_socket,server=y,suspend=n,address=0 -DTLA-Library=/workspaces/CommunityModules/.smoke/:/workspaces/CommunityModules/modules/:/workspaces/CommunityModules/tests -Dtlc2.overrides.TLCOverrides=tlc2.overrides.TLCOverrides -cp /workspaces/CommunityModules/tools/tla2tools.jar:/workspaces/CommunityModules/build/modules:/workspaces/CommunityModules/build/deps",
"[tlaplus]": {"editor.codeActionsOnSave": {"source": true} },
"[tlaplus]": {"editor.codeActionsOnSave": {
"source": "explicit"
} },
"breadcrumbs.enabled": false,
"editor.minimap.enabled": false,
"editor.useTabStops": false,

0 comments on commit 997d018

Please sign in to comment.