1. Top
  2. gitea
  3. Files
  4. options
  5. gitignore
  6. Idris
gitea

Development moved to Codeberg

  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7 
# Idris 2
*.ttc
*.ttm

# Idris 1
*.ibc
*.o