.gitignore สำหรับ Coq

.gitignore ที่สมบูรณ์สำหรับ Coq

# สร้างโดย LFGitignore - https://lfgitignore.com
# สร้าง: 2026-10-31 21:52:16 UTC
# เทคโนโลยี: Coq

### Coq ###
.*.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
*.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

สิ่งที่กฎ Coq เหล่านี้มองข้ามไปจริงๆ

ทุกรูปแบบด้านล่าง และทำไมมันถึงอยู่ใน .gitignore ของคุณ

เทมเพลต ภาษา .gitignore อื่นๆ

ดูเทมเพลต ภาษา ทุกอัน