drone/resources/gitignore/Idris.gitignore
Enver Bisevac 1cf07b6417 initial work on create repository (#27)
* initial work on create repository

* create repository as single method call using client stream

* resources handler and files

* minor fix for wire dep graph
2022-10-11 17:48:04 +02:00

8 lines
43 B
Plaintext

# Idris 2
*.ttc
*.ttm
# Idris 1
*.ibc
*.o