summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 0cd53e9..e77655a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,4 @@
/lakefile.olean
/lake-packages/*
.lake
+*.llbc