aboutsummaryrefslogtreecommitdiff
path: root/project/build.properties
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-12-08 14:29:35 +0000
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-12-08 14:29:35 +0000
commit2b0f0d0079484b00a1b788414ff1499282a86aeb (patch)
tree3e31df8a6fea594b704d2a5013659c9a59483996 /project/build.properties
parent17285895dec47f4ca05590c861a7e8ef6f595c0c (diff)
parentf8e612288f3a604ee1bd60016b7320f00b763e6b (diff)
downloadRSAComb-2b0f0d0079484b00a1b788414ff1499282a86aeb.tar.gz
RSAComb-2b0f0d0079484b00a1b788414ff1499282a86aeb.zip
Merge branch 'master' into logger
Diffstat (limited to 'project/build.properties')
-rw-r--r--project/build.properties2
1 files changed, 1 insertions, 1 deletions
diff --git a/project/build.properties b/project/build.properties
index 0837f7a..7de0a93 100644
--- a/project/build.properties
+++ b/project/build.properties
@@ -1 +1 @@
sbt.version=1.3.13 sbt.version=1.4.4