summaryrefslogtreecommitdiff
path: root/backends/lean/.gitignore
blob: 6aef08604faf3d18c547e29bfd9f6959906de937 (plain)
1
2
lake-packages/
build/