idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-03 00:55:00 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #11 from ska80/ignore-bootstrap

Browse Source 
Ignore Racket's build artifacts in 'bootstrap' directory
This commit is contained in:
Edwin Brady 2020-05-20 13:25:37 +01:00 committed by GitHub
commit 34c542d29e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.gitignore vendored
View File

@ -23,7 +23,9 @@
/src/IdrisPaths.idr
/bootstrap/bin/
/bootstrap/idris2-0*/
/bootstrap/idris2sh_app/*.so
/bootstrap/idris2sh_app/idris2-boot.ss
/bootstrap/lib/
/bootstrap/idris2-0*/
/bootstrap/idris2sh_app/idris2-boot.*
/bootstrap/idris2sh_app/libidris2_support.*
/bootstrap/idris2boot
/bootstrap/idris2boot.rkt