mirror of
https://github.com/edwinb/Idris2-boot.git
synced 2024-10-26 17:33:47 +03:00
Add .gitignore
file
This change adds the top-level "ignore" file for build artifacts.
This commit is contained in:
parent
38443e23a3
commit
8c68ed9f79
10
.gitignore
vendored
Normal file
10
.gitignore
vendored
Normal file
@ -0,0 +1,10 @@
|
||||
*~
|
||||
*.ibc
|
||||
|
||||
idris2
|
||||
runtests
|
||||
|
||||
libs/**/build
|
||||
tests/**/output
|
||||
|
||||
src/YafflePaths.idr
|
Loading…
Reference in New Issue
Block a user