13
3
Fork 0
Wiki Issues 89 resources competences Projects 8 Code Pull Requests Releases Activity
Платформа ЦРНП "Мирокод" для разработки проектов https://git.mirocod.ru
12620 Commits
14 Branches
154 Tags
505 MiB
 
 
 
 
 
 
Tree: 17b2079f3e
Platform_Mirocod/options/gitignore/Idris

7 lines
43 B
Raw Blame History

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