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