From 8742a2f651c2b565638bdec369bd677234e2cafd Mon Sep 17 00:00:00 2001
From: Jacob <jacob@katniss.top>
Date: Fri, 12 Jul 2024 20:08:10 -0400
Subject: [PATCH] add `.history/` to `gitignore` since I have the local history
 extension in codium

---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index ea8c4bf..68cdb13 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,3 @@
 /target
+
+.history/