/
githubmirror
/
gitignore
Обзор
Документация
Войти
/
githubmirror
/
gitignore
Код
Запросы
0
Пакеты
0
Релизы
0
Аналитика
Безопасность
main
Idris.gitignore
7 строк
43 B
Kamil Shakirov
Update .gitignore for Idris 2
15 мар 2021, 11:32
15 мар 2021, 11:32
4c55d7c
Код
Авторство
О чём код?
# Idris 2 *.ttc *.ttm # Idris 1 *.ibc *.o