Головна сторінка Огляд
Реєстрація Увійти
SongZihuan
/
GitIgnore
дзеркало https://github.com/github/gitignore.git
1
0
Відгалуження 0
Файли Проблеми 0 Wiki
Дерево: 1a1de190ae
Гілки Теги
GitIgnore
/
Coq.gitignore

Coq.gitignore 18 B
Історія Запис

123 
  1. *.vo
    2. 

  2. *.glob
    3. 

  3. *.v.d
    4.