mirror of
https://github.com/edwinb/Idris2-boot.git
synced 2024-10-26 17:33:47 +03:00
gitignore .so files under tests
This commit is contained in:
parent
946881d56c
commit
2c70f2b744
1
.gitignore
vendored
1
.gitignore
vendored
@ -14,5 +14,6 @@
|
||||
|
||||
/libs/**/build
|
||||
/tests/**/output
|
||||
/tests/**/*.so
|
||||
|
||||
/src/YafflePaths.idr
|
||||
|
Loading…
Reference in New Issue
Block a user