edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-26 06:11:50 +03:00
Code Issues Projects Releases Wiki Activity

Only ignore the executables in the root folder

Browse Source 
The previous rule accidentally ignored all files in tests/idris2
This commit is contained in:
Christian Rasmussen 2020-03-01 19:02:02 +01:00
parent 052c98d86e
commit 1b7d8b0d4a
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.gitignore vendored
View File

@ -5,8 +5,8 @@
*.dSYM
idris2
runtests
/idris2
/runtests
dist/idris2.c