index
:
forgejo
debian
upstream
forgejo
Fast-forward packages
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
options
/
gitignore
/
Idris
blob: 0f4e72c71c3010a753cd798ac4fdbf5bc5f2d7f0 (
plain
)
1
2
3
4
5
6
7
# Idris 2 *.ttc *.ttm # Idris 1 *.ibc *.o
