/
githubmirror
/
gitignore
Обзор
Документация
Войти
/
githubmirror
/
gitignore
Код
Запросы
0
Пакеты
0
Релизы
0
Аналитика
Безопасность
main
Agda.gitignore
2 строки
22 B
Vic
include MAlonzo directories in any location
18 мар 2026, 16:07
Не верифицирован
18 мар 2026, 16:07
8431b56
Код
Авторство
О чём код?
*.agdai **/MAlonzo/**