mirror of
https://github.com/edwinb/Idris2-boot.git
synced 2024-09-19 03:47:30 +03:00
Merge pull request #206 from chrrasmussen/update-gitignore
Only ignore the executables in the root folder
This commit is contained in:
commit
e52b8ef8e8
4
.gitignore
vendored
4
.gitignore
vendored
@ -5,8 +5,8 @@
|
||||
|
||||
*.dSYM
|
||||
|
||||
idris2
|
||||
runtests
|
||||
/idris2
|
||||
/runtests
|
||||
|
||||
dist/idris2.c
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user