From 62ce26183110caa3b207e19ff6012dd4a0fea5fc Mon Sep 17 00:00:00 2001
From: Laura Hausmann <laura@hausmann.dev>
Date: Sat, 18 Mar 2023 22:08:36 +0100
Subject: [PATCH] Bump tools.js version

---
 src/tools.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools.html b/src/tools.html
index aee5e06..a4a2eb2 100644
--- a/src/tools.html
+++ b/src/tools.html
@@ -207,6 +207,6 @@
 		</div>
 		<script src="/js/vendor/jquery.min.js"></script>
 		<script src="/js/vendor/bootstrap.min.js"></script>
-		<script src="/js/tools.js?v=3"></script>
+		<script src="/js/tools.js?v=4"></script>
 	</body>
 </html>