idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-28 22:22:10 +03:00
Code Issues Projects Releases Wiki Activity

Add emacs/vim swap files to gitignore

Browse Source
This commit is contained in:
Fabián Heredia Montiel 2020-05-24 19:49:25 -05:00 committed by G. Allais
parent 227bd3b457
commit 1fbce6a593
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.gitignore vendored
View File

@ -8,6 +8,10 @@ idris2docs_venv
*.a
*.dll
# Editor/IDE Related
.\#* # Emacs swap file
*~ # Vim swap file
/build
/docs/build