From 613205d714c932aed90bb72a5cd6a90f0be2981d Mon Sep 17 00:00:00 2001
From: Linus Gasser <linus.gasser@epfl.ch>
Date: Sun, 9 Aug 2026 17:41:12 +0200
Subject: [PATCH] Ignore .devbox

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

diff --git a/.gitignore b/.gitignore
index 5efc96b2..b5f11867 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,4 @@
 /bin
 dist/
 tests/integration/.bats
+.devbox