From 5bc5e17dc6981ef19ad213984929aed931d98651 Mon Sep 17 00:00:00 2001
From: Dan Rostovtsev <dan@rostovtsev.org>
Date: Thu, 2 Apr 2026 12:15:09 -0400
Subject: Lambda v0.0.0

---
 .gitignore | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index d49d37c..5e24295 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,6 @@
 *.aux
 *.glob
+*.tar.gz
 *.vo
 *.vok
 *.vos
@@ -7,4 +8,9 @@
 .CoqMakefile.d
 .lia.cache
 CoqMakefile
-CoqMakefile.conf
\ No newline at end of file
+CoqMakefile.conf
+Makefile
+autom4te.cache
+config.log
+config.status
+configure
-- 
cgit v1.3