mirrors
/
gitignore
дзеркало https://github.com/github/gitignore.git
Слідкувати 1
В обрані 0
Форк 0
Код Проблеми 0 Релізи 0 Вікі Активність
Ви не можете вибрати більше 25 тем Теми мають розпочинатися з літери або цифри, можуть містити дефіси (-) і не повинні перевищувати 35 символів.
1091 Коміти
8 Гілки
Дерево: 5342e13bc9
Гілки Теги
${ item.name }
Створити гілку ${ searchTerm }
з '5342e13bc9'
${ noResults }
gitignore/Coq.gitignore

Coq.gitignore 18B
Неформатований Blame Історія

123 
  1. *.vo

  2. *.glob

  3. *.v.d