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.
3185 Révisions
8 Branches
Aborescence: db0ef78b5a
Branches Tags
${ item.name }
Créer la branche ${ searchTerm }
de 'db0ef78b5a'
${ noResults }
gitignore/Coq.gitignore

Coq.gitignore 263B
Brut Annotations Historique

1234567891011121314151617181920212223242526272829303132 
  1. .*.aux

  2. .*.d

  3. *.a

  4. *.cma

  5. *.cmi

  6. *.cmo

  7. *.cmx

  8. *.cmxa

  9. *.cmxs

  10. *.glob

  11. *.ml.d

  12. *.ml4.d

  13. *.mli.d

  14. *.mllib.d

  15. *.mlpack.d

  16. *.native

  17. *.o

  18. *.v.d

  19. *.vio

  20. *.vo

  21. *.vos

  22. .coq-native/

  23. .csdp.cache

  24. .lia.cache

  25. .nia.cache

  26. .nlia.cache

  27. .nra.cache

  28. csdp.cache

  29. lia.cache

  30. nia.cache

  31. nlia.cache

  32. nra.cache