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

summary refs log tree commit diff

path: root/.gitignore

blob: 0cd53e9615ce7398b42a12f46d92567d78e2e11c (plain)

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