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.

33 lines
269 B

  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