.gitignore - avl-verification - Isabelle fork of https://github.com/RaitoBezarius/avl-verification

summary refs log tree commit diff

path: root/.gitignore

blob: e77655a05cad9b4b96d1c7175936dc1a9b831651 (plain)

/target
/build
/lakefile.olean
/lake-packages/*
.lake
*.llbc