12345678910111213141516171819202122232425262728293031323334353637383940414243 |
- .*.aux
- .*.d
- *.a
- *.cma
- *.cmi
- *.cmo
- *.cmx
- *.cmxa
- *.cmxs
- *.glob
- *.ml.d
- *.ml4.d
- *.mli.d
- *.mllib.d
- *.mlpack.d
- *.native
- *.o
- *.v.d
- *.vio
- *.vo
- *.vok
- *.vos
- .coq-native/
- .csdp.cache
- .lia.cache
- .nia.cache
- .nlia.cache
- .nra.cache
- csdp.cache
- lia.cache
- nia.cache
- nlia.cache
- nra.cache
-
- # generated timing files
- *.timing.diff
- *.v.after-timing
- *.v.before-timing
- *.v.timing
- time-of-build-after.log
- time-of-build-before.log
- time-of-build-both.log
- time-of-build-pretty.log
|