From 347d47eb116040f1404ad0221f2f512e03b4d840 Mon Sep 17 00:00:00 2001
From: Juan Pedro Moreno <4879373+juanpedromoreno@users.noreply.github.com>
Date: Mon, 29 Jun 2020 15:51:13 +0200
Subject: [PATCH] Update build.properties

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

diff --git a/project/build.properties b/project/build.properties
index 302b6be..b963c57 100644
--- a/project/build.properties
+++ b/project/build.properties
@@ -1 +1 @@
-sbt.version = 1.3.13
\ No newline at end of file
+sbt.version = 1.3.12