idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-08-16 08:40:37 +03:00
Code Issues Projects Releases Wiki Activity

Add VS Code settings to gitignore

Browse Source
This commit is contained in:
Dario Vladovic 2020-06-21 14:14:46 +02:00 committed by G. Allais
parent 6f77c06e3e
commit a76f4e64f5
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.gitignore vendored
View File

@ -11,6 +11,8 @@ idris2docs_venv
# Editor/IDE Related
.\#* # Emacs swap file
*~ # Vim swap file
# VS Code
.vscode/*
/build