mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-19 04:57:24 +03:00
Ignore windows test binaries
This commit is contained in:
parent
1d0c6aa736
commit
01d6e286ff
2
.gitignore
vendored
2
.gitignore
vendored
@ -8,3 +8,5 @@ cabal-dev/
|
||||
test/output
|
||||
test/test???/output
|
||||
test/reg???/output
|
||||
test/test???/*.exe
|
||||
test/reg???/*.exe
|
||||
|
Loading…
Reference in New Issue
Block a user