diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-07 20:13:18 +0000 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-07 20:13:18 +0000 |
commit | 6391832ac9510c5569457b76c45c7132a41ebd7c (patch) | |
tree | 3143eef3ec3c891a150e31227c97726b9fc0e36f /project/build.properties | |
parent | 1421dae96ea7b8be1678944229d4912037ba8821 (diff) | |
parent | a3030d1586e33f44692f7b6d2e616b6f183f9b9a (diff) | |
download | RSAComb-6391832ac9510c5569457b76c45c7132a41ebd7c.tar.gz RSAComb-6391832ac9510c5569457b76c45c7132a41ebd7c.zip |
Merge branch 'master' of https://github.com/KRR-Oxford/RSA-combined-approach into master
Diffstat (limited to 'project/build.properties')
-rw-r--r-- | project/build.properties | 2 |
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 | ||