mirror of
https://github.com/idris-lang/Idris-dev.git
synced 2024-10-04 18:09:08 +03:00
Updated gitignore to ignore emacs temp files
This commit is contained in:
parent
93761d531a
commit
fb8c003a91
2
.gitignore
vendored
2
.gitignore
vendored
@ -1,3 +1,5 @@
|
||||
\#*
|
||||
.\#*
|
||||
dist
|
||||
cabal-dev/
|
||||
.cabal-sandbox
|
||||
|
Loading…
Reference in New Issue
Block a user