github
/
gitignore
зеркало из
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность
gitignore/Agda.gitignore

2 строки
8 B
Plaintext
Исходник Ответственный История

*.agdai
Ссылка в новой задаче Показать git blame Копировать постоянную ссылку