edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-23 20:22:34 +03:00
Code Issues Projects Releases Wiki Activity

Improve .gitignore patterns

Browse Source
This commit is contained in:
Kamil Shakirov 2020-03-02 14:21:43 +06:00
parent 052c98d86e
commit d3820e1197
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