idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-28 11:05:17 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #3 from ska80/ignore-files

Browse Source 
Update .gitignore files
This commit is contained in:
Edwin Brady 2020-05-19 16:22:41 +01:00 committed by GitHub
commit 953e8f4913
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 13 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
.gitignore vendored
View File

@ -3,16 +3,13 @@
*.ttc
*.ttm
*.dSYM
/build
/dist/idris2.c
/docs/build/
/libs/**/build
/tests/**/output
/tests/**/*.so
/tests/**/*.dylib
/tests/**/*.dll
/src/IdrisPaths.idr

2
libs/network/.gitignore vendored
View File

@ -3,6 +3,8 @@
*.d
*.o
*.obj
*.a
*.lib
*.so
*.dylib
*.dll

8
support/c/.gitignore vendored Normal file
View File

@ -0,0 +1,8 @@
*.d
*.o
*.obj
*.a
*.lib
*.so
*.dylib
*.dll