From 798c9f3635d14eff636bc3c89e3c1015e90244d9 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Sun, 16 Aug 2020 16:28:20 +0100
Subject: Add build.properties file

---
 project/build.properties | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 project/build.properties

(limited to 'project')

diff --git a/project/build.properties b/project/build.properties
new file mode 100644
index 0000000..0837f7a
--- /dev/null
+++ b/project/build.properties
@@ -0,0 +1 @@
+sbt.version=1.3.13
-- 
cgit v1.2.3