summaryrefslogtreecommitdiff
path: root/tests/lean/.gitignore
blob: 071df2d0fa5f7152cf28ed58dda133f430f242ea (plain)
1
2
3
lake-packages
build
.lake