Для этого сайта требуется поддержка JavaScript.
Обзор
Помощь
Регистрация
Вход
github
/
gitignore
зеркало из
Следить
1
В избранное
0
Форкнуть
Вы уже форкнули gitignore
0
Код
Задачи
Пакеты
Проекты
Релизы
Вики
Активность
9ce20aa179
gitignore
/
Agda.gitignore
2 строки
8 B
Plaintext
Исходник
Ответственный
История
*.agdai
Ссылка в новой задаче
Показать git blame
Копировать постоянную ссылку