OPENGIT/gitignore
1
0
Fork 0
mirror of https://github.com/github/gitignore.git synced 2024-12-28 10:15:08 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Update .gitignore for Idris 2

Browse Source
This commit is contained in:
Kamil Shakirov 2021-03-15 14:32:59 +06:00
parent 218a941be9
commit 4c55d7cc4b
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 *.ibc
*.o *.o