mirror of
https://github.com/aziis98/lean-codespace.git
synced 2026-10-06 06:34:50 +00:00
4 lines
40 B
Plaintext
4 lines
40 B
Plaintext
/build
|
|
/lakefile.olean
|
|
/lake-packages/*
|