/
githubmirror
/
gitignore
Обзор
Документация
Войти
/
githubmirror
/
gitignore
Код
Запросы
0
Пакеты
0
Релизы
0
Аналитика
Безопасность
main
Coq.gitignore
45 строк
489 B
Jason Gross
Update Coq.gitignore
13 апр 2021, 17:39
Не верифицирован
13 апр 2021, 17:39
68f4c9a
Код
Авторство
О чём код?
.*.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