From 323003aed95203a22d22735d5a13167d0beb4198 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 29 Aug 2024 15:28:54 -0700
Subject: [PATCH] Add .env to gitignore to prevent environment files from being
 tracked

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 50528b3d0..5ffb0874c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,7 @@ rebase.cmd
 callgrind.out.*
 # .hpp files are automatically generated
 *.hpp
+.env
 .z3-trace
 # OCaml generated files
 *.a