edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-09-11 16:05:51 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #207 from ska80/update-gitignore

Browse Source 
Improve .gitignore patterns
This commit is contained in:
Edwin Brady 2020-03-05 10:29:11 +00:00 committed by GitHub
commit aef66099b5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
.gitignore vendored
View File

@ -8,11 +8,11 @@
/idris2
/runtests
dist/idris2.c
/dist/idris2.c
docs/_build/
/docs/_build/
libs/**/build
tests/**/output
/libs/**/build
/tests/**/output
src/YafflePaths.idr
/src/YafflePaths.idr

2
dist/.gitignore vendored
View File

@ -3,4 +3,4 @@
*.o
*.obj
idris2
/idris2

2
libs/network/.gitignore vendored
View File

@ -1,5 +1,5 @@
network-tests
/network-tests
*.o
*.so