diff options
| author | Can | 2024-12-11 21:46:50 +0100 |
|---|---|---|
| committer | GitHub | 2024-12-11 21:46:50 +0100 |
| commit | 0740a71446abe5227ee44b56301806de3c31046d (patch) | |
| tree | 0d46a4a8d27731f0b6fb6c5921ea01156bbe17b2 /.vscode/extensions.json | |
Initial commit
Diffstat (limited to '.vscode/extensions.json')
| -rw-r--r-- | .vscode/extensions.json | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.vscode/extensions.json b/.vscode/extensions.json new file mode 100644 index 0000000..7b90cd2 --- /dev/null +++ b/.vscode/extensions.json @@ -0,0 +1,5 @@ +{ + "recommendations": [ + "effekt-lang.effekt" + ] +} |