From e9bb97c644d51e19edf892bdaeaf1735a23c76d0 Mon Sep 17 00:00:00 2001
From: Willem van den Ende <willem@qwan.eu>
Date: Wed, 30 Apr 2025 14:34:51 +0100
Subject: [PATCH] Ignore workspace files

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

diff --git a/.gitignore b/.gitignore
index 505a3b1..28b250d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,3 +8,4 @@ wheels/
 
 # Virtual environments
 .venv
+/workspace/tools/