Inicio Explorar
Rexistro Iniciar sesión
SongZihuan
/
GitIgnore
réplica de https://github.com/github/gitignore.git
1
0
Fork 0
Ficheiros Incidencias 0 Wiki
Árbore: f0dde55c6b
Ramas Etiquetas
GitIgnore
/
Coq.gitignore

Coq.gitignore 18 B
Histórico Raw

123 
  1. *.vo
    2. 

  2. *.glob
    3. 

  3. *.v.d
    4.