mirror of
https://github.com/github/gitignore.git
synced 2026-10-25 12:12:23 +01:00
3 lines
70 B
Plaintext
3 lines
70 B
Plaintext
# cache and other artifacts produced by Lean's Lake build tool
|
|
.lake/
|