summaryrefslogtreecommitdiff
path: root/backends/lean/.gitignore
blob: 50d5c125a677b5bc18ce49d9df6b051763696530 (plain)
1
2
3
lake-packages/
build/
.lake