Почетна Преглед
Регистрација Пријавите се
SongZihuan
/
GitIgnore
огледало од https://github.com/github/gitignore.git
1
0
Креирај огранак 0
Датотеке Дискусије 0 Вики
Дрво: f0dde55c6b
Гране Ознаке
GitIgnore
/
Coq.gitignore

Coq.gitignore 18 B
Историја Датотека

123 
  1. *.vo
    2. 

  2. *.glob
    3. 

  3. *.v.d
    4.