lean4-code-actions/.vscode/extensions.json

Refactorings and snippets for Lean 4

{
	// See http://go.microsoft.com/fwlink/?LinkId=827846
	// for the documentation about the extensions.json format
	"recommendations": [
		"dbaeumer.vscode-eslint"
	]
}