code.gitea.io/gitea@v1.21.7/options/gitignore/Idris (about)

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