mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-08-16 12:10:39 +03:00
Add cabal new-build's build dir to ignore
This commit is contained in:
parent
bf01486963
commit
7e25ae9e90
1
.gitignore
vendored
1
.gitignore
vendored
@ -1,5 +1,6 @@
|
||||
# Build artefacts
|
||||
dist
|
||||
dist-newstyle
|
||||
*.ibc
|
||||
*.o
|
||||
*.a
|
||||
|
Loading…
Reference in New Issue
Block a user