From dd4961c6e78212be0bbaede55aca84ea6203828e Mon Sep 17 00:00:00 2001
From: Sebastian Kuzminsky <seb@highlab.com>
Date: Sun, 12 Jan 2025 23:46:18 -0700
Subject: [PATCH] git ignore the build directory

---
 tools/.gitignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 tools/.gitignore

diff --git a/tools/.gitignore b/tools/.gitignore
new file mode 100644
index 0000000..2f7896d
--- /dev/null
+++ b/tools/.gitignore
@@ -0,0 +1 @@
+target/