docs/gitignore
docs/gitignore
1
0
Fork 0
mirror of https://github.com/github/gitignore synced 2024-06-17 18:09:56 +02:00
Code Issues Releases Wiki Activity

Merge pull request #3679 from ska80/idris2-updates

Browse Source 
Update .gitignore for Idris 2
This commit is contained in:
Brian Douglas 2021-12-04 07:56:06 -08:00 committed by GitHub
commit 6d15138302
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Idris.gitignore
View File

@ -1,2 +1,7 @@
# Idris 2
*.ttc
*.ttm
# Idris 1
*.ibc
*.o