.gitignore « hashmap_on_disk « lean « tests - aeneas - aeneas rust verifier with a hacky Isabelle backend

summary refs log tree commit diff

path: root/tests/lean/hashmap_on_disk/.gitignore

blob: a1735e7cba288647a238f3832c9c09677fcf80f3 (plain)

/build
/lean_packages/*
!/lean_packages/manifest.json
/build
/lake-packages/*