Для этого сайта требуется поддержка JavaScript.
Обзор
Помощь
Регистрация
Вход
github
/
gitignore
зеркало из
Следить
1
В избранное
0
Форкнуть
Вы уже форкнули gitignore
0
Код
Задачи
Пакеты
Проекты
Релизы
Вики
Активность
3e939a59d9
gitignore
/
Coq.gitignore
5 строки
19 B
Plaintext
Исходник
Ответственный
История
*.vo
*.glob
*.v.d
Ссылка в новой задаче
Показать git blame
Копировать постоянную ссылку