summaryrefslogtreecommitdiff
path: root/tests/lean/hashmap_on_disk/.gitignore
blob: a1735e7cba288647a238f3832c9c09677fcf80f3 (plain)
1
2
3
4
5
/build
/lean_packages/*
!/lean_packages/manifest.json
/build
/lake-packages/*