mirrors
/
gitignore
zrcadlo https://github.com/github/gitignore.git
Sledovat 1
Oblíbit 0
Rozštěpit 0
Zdrojový kód Úkoly 0 Vydání 0 Wiki Aktivita
Nelze vybrat více než 25 témat Téma musí začínat písmenem nebo číslem, může obsahovat pomlčky („-“) a může být dlouhé až 35 znaků.
1300 Revize
8 Větve
Strom: bd4cc85a9e
Větve Značky
${ item.name }
Vytvořit větev ${ searchTerm }
z „bd4cc85a9e“
${ noResults }
gitignore/Coq.gitignore

Coq.gitignore 18B
Surový Normal View Historie

add Coq gitignore
před 13 roky
​
​
 123 
  1. *.vo

  2. *.glob

  3. *.v.d