From dec5893a6ecf9567dc94390dbf00999a899cddf2 Mon Sep 17 00:00:00 2001
From: Simon <simon.dumas@protonmail.com>
Date: Tue, 9 Jul 2024 11:28:20 +0200
Subject: [PATCH] Update to SBT 1.10.1 (#5058)

Co-authored-by: Simon Dumas <simon.dumas@epfl.ch>
---
 project/build.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/project/build.properties b/project/build.properties
index be54e77636..136f452e0d 100644
--- a/project/build.properties
+++ b/project/build.properties
@@ -1 +1 @@
-sbt.version = 1.10.0
+sbt.version = 1.10.1