summaryrefslogtreecommitdiff
path: root/tests/lean/.gitignore
blob: 4d1c5853a8f53790c755295fe8a7119541f407c4 (plain)
1
2
lake-packages
build