From 39c4f069307a48b04d03b48ed8257cf408092ab0 Mon Sep 17 00:00:00 2001
From: Viktor Kuncak <viktor.kuncak@epfl.ch>
Date: Sun, 8 Sep 2024 10:18:28 +0200
Subject: [PATCH] Bump version of sbt slightly

---
 project/build.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/project/build.properties b/project/build.properties
index 081fdbbc7..ee4c672cd 100644
--- a/project/build.properties
+++ b/project/build.properties
@@ -1 +1 @@
-sbt.version=1.10.0
+sbt.version=1.10.1