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

summary refs log tree commit diff

path: root/.gitignore

blob: 3842f24b31d0ae4b4af810f630895a79df638e66 (plain)

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