Home Explore Help
Register Sign In
hp
/
gogs
Watch 15
Star 61
Fork 9
Files
Branch: master
Branches Tags
gogs
/
conf
/
gitignore
/
Idris

Idris 10 B
Permalink History Raw

123 
  1. *.ibc
    2. 

  2. *.o
    3. 

  3.