mirrors
/
gitignore
spogulis no https://github.com/github/gitignore.git
Vērot 1
Pievienot zvaigznīti 0
Atdalīts 0
Kods Problēmas 0 Laidieni 0 Vikivietne Aktivitāte
Nevar pievienot vairāk kā 25 tēmas Tēmai ir jāsākas ar burtu vai ciparu, tā var saturēt domu zīmes ('-') un var būt līdz 35 simboliem gara.
204 Revīzijas
8 Atzari
Koks: e7c15d9c37
Atzari Tagi
${ item.name }
Izveidot atzaru ${ searchTerm }
no 'e7c15d9c37'
${ noResults }
gitignore/Coq.gitignore

Coq.gitignore 19B
Neapstrādāts Parastais skats Vēsture

add Coq gitignore
pirms 13 gadiem
​
​
​
 1234 
  1. *.vo

  2. *.glob

  3. *.v.d

  4.