Lean के लिए .gitignore
Lean के लिए 1 अनदेखा करने का नियम, आपकी रिपॉज़िटरी में कॉपी करने के लिए तैयार।
फ़ंक्शनल भाषा और इंटरैक्टिव प्रमेय सिद्ध करने वाला टूल
Lean के लिए पूरी .gitignore
# LFGitignore द्वारा बनाया गया - https://lfgitignore.com
# बनाने की तारीख: 2026-10-31 23:46:28 UTC
# तकनीकें: Lean
### Lean ###
# Lean झील build कैश और बिल्ड फ़ाइलें
.lake/
Lean के ये नियम किन चीज़ों को अनदेखा करते हैं
नीचे हर पैटर्न और उसे .gitignore में शामिल करने का कारण दिया गया है।
सामान्य
| पैटर्न | यह क्या अनदेखा करता है |
|---|---|
.lake/ |
Lean झील build कैश और बिल्ड फ़ाइलें |
Lean के लिए इस .gitignore का उपयोग कैसे करें
- ऊपर दिए गए Lean के नियम कॉपी करें या फ़ाइल सीधे डाउनलोड करें।
- अपनी Git रिपॉज़िटरी के मूल फ़ोल्डर में .gitignore नाम की फ़ाइल बनाएँ और उसमें नियम पेस्ट करें।
- यदि इनमें से कुछ फ़ाइलें पहले से ट्रैक हो रही हैं, तो git rm -r --cached . चलाएँ और फिर से कमिट करें — Git केवल ट्रैक न की गई फ़ाइलों पर अनदेखा करने के नियम लागू करता है।
- .gitignore कमिट करें ताकि टीम के सभी सदस्य एक जैसे नियम इस्तेमाल करें।