Merge pull request #41 from freespek/th/devcont-tla

thpani · web-flow · commit c4dd840eb76d · 2024-04-30T10:35:44.000+02:00
Add tlaplus VSCode plugin to dev container
diff --git a/solarkraft/.devcontainer/devcontainer.json b/solarkraft/.devcontainer/devcontainer.json
@@ -15,6 +15,7 @@
 	"customizations": {
 		"vscode": {
 			"extensions": [
+				"alygin.vscode-tlaplus",
 				"vscodevim.vim"
 			],
 			"settings": {
