mirrors
/
gitea
mirror of https://github.com/go-gitea/gitea.git
Watch 1
Star 0
Fork 0
Code Issues 0 Releases 210 Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
8593 Commits
17 Branches
Tree: db5524a9ab
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'db5524a9ab'
${ noResults }
gitea/options/gitignore/Coq

Coq 269B
Raw Blame History

123456789101112131415161718192021222324252627282930313233 
  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. *.vok

  22. *.vos

  23. .coq-native/

  24. .csdp.cache

  25. .lia.cache

  26. .nia.cache

  27. .nlia.cache

  28. .nra.cache

  29. csdp.cache

  30. lia.cache

  31. nia.cache

  32. nlia.cache

  33. nra.cache