update .gitignore

leanprover-community · Oct 9, 2023 · 316cf44 · 316cf44
1 parent bde9239
commit 316cf44
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,3 @@
 /build
 /lake-packages/*
+/lakefile.olean