tomit4/notes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
notes/gitignore/Idris.gitignore
z3rOR0ne d4226720cb 📝 Updated scripts and added default gitignores
2022-09-09 08:21:48 -07:00

7 lines
43 B
Text
Raw Blame History

# Idris 2
*.ttc
*.ttm
# Idris 1
*.ibc
*.o
Reference in a new issue View git blame Copy permalink