.gitignore pentru Lean
1 regulă de ignorare pentru Lean, gata de copiat în depozitul dvs.
Limbaj funcțional și demonstrator interactiv de teoreme
.gitignore complet pentru Lean
# Generat de LFGitignore - https://lfgitignore.com
# Creat: 2026-10-31 22:49:53 UTC
# Tehnologii: Lean
### Lean ###
# Lean Lake build cache și artefacte
.lake/
Ce ignoră regulile pentru Lean
Fiecare model de mai jos și motivul pentru care se află în .gitignore.
Generalități
| Model de fișier | Ce ignoră |
|---|---|
.lake/ |
Lean Lake build cache și artefacte |
Cum să utilizați acest .gitignore pentru Lean
- Copiați regulile Lean de mai sus sau descărcați fișierul direct.
- Creați un fișier numit .gitignore la rădăcina depozitului dvs. Git și inserați regulile în el.
- Dacă unele fișiere sunt deja urmărite, rulați git rm -r --cached . și apoi faceți din nou commit — Git aplică regulile de ignorare numai fișierelor neurmărite.
- Faceți commit pentru .gitignore, astfel încât întreaga echipă să folosească aceleași reguli.