Merge pull request #14 from fgdorais/patch-1

chore: update .gitignore
dupuisf · Sep 4, 2024 · 85e1e71 · 85e1e71
2 parents 3ed65a5 + 1e0e2c3
commit 85e1e71
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1 @@
-/build
-/lean_packages
 /.lake