mirror of
https://github.com/github/gitignore.git
synced 2026-04-11 14:11:43 +08:00
3 lines
70 B
Plaintext
3 lines
70 B
Plaintext
# cache and other artifacts produced by Lean's Lake build tool
|
|
.lake/
|