| 123456789101112131415161718192021222324252627282930313233343536373839404142434445 |
- .*.aux
- .*.d
- *.a
- *.cma
- *.cmi
- *.cmo
- *.cmx
- *.cmxa
- *.cmxs
- *.glob
- *.ml.d
- *.ml4.d
- *.mlg.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
- native_compute_profile_*.data
- # 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
|
