github-gitignore/Lean.gitignore
2026-03-28 21:42:41 -07:00

3 lines
69 B
Plaintext

# cache and other artifacts produced by Lean's Lake build tool
.lake