diff --git a/.gitignore b/.gitignore index 04997db83..e3ca3da4e 100644 --- a/.gitignore +++ b/.gitignore @@ -11,6 +11,8 @@ idris2docs_venv # Editor/IDE Related .\#* # Emacs swap file *~ # Vim swap file +# VS Code +.vscode/* /build