Coq के लिए .gitignore

Coq के लिए पूरी .gitignore

# LFGitignore द्वारा बनाया गया - https://lfgitignore.com
# बनाने की तारीख: 2026-10-31 21:54:13 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 टेम्पलेट

भाषा का हर टेम्पलेट देखें