Главная Обзор
Регистрация Вход
SongZihuan
/
GitIgnore
зеркало из https://github.com/github/gitignore.git
1
0
Ответвить 0
Файлы Задачи 0 Вики
Дерево: 1a1de190ae
Ветки Метки
GitIgnore
/
Coq.gitignore

Coq.gitignore 18 B
История Исходник

123 
  1. *.vo
    2. 

  2. *.glob
    3. 

  3. *.v.d
    4.