edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-24 04:43:25 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #1 from asandroq/add_gitignore

Browse Source 
Add `.gitignore` file
This commit is contained in:
Edwin Brady 2019-07-09 10:42:08 +02:00 committed by GitHub
commit c0ef32d60f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
.gitignore vendored Normal file
View File

@ -0,0 +1,10 @@
*~
*.ibc
idris2
runtests
libs/**/build
tests/**/output
src/YafflePaths.idr