mirrors
/
gitignore
miroir de https://github.com/github/gitignore.git
Suivre 1
Ajouter aux favoris 0
Bifurcation 0
Code Tickets 0 Versions 0 Wiki Activité
Vous ne pouvez pas sélectionner plus de 25 sujets Les noms de sujets doivent commencer par une lettre ou un nombre, peuvent contenir des tirets ('-') et peuvent comporter jusqu'à 35 caractères.
2276 Révisions
8 Branches
Aborescence: 95a405c3ef
Branches Tags
${ item.name }
Créer la branche ${ searchTerm }
de '95a405c3ef'
${ noResults }
gitignore/Coq.gitignore

Coq.gitignore 18B
Brut Annotations Historique

123 
  1. *.vo

  2. *.glob

  3. *.v.d