diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-08 14:29:35 +0000 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-08 14:29:35 +0000 |
commit | 2b0f0d0079484b00a1b788414ff1499282a86aeb (patch) | |
tree | 3e31df8a6fea594b704d2a5013659c9a59483996 /project/build.properties | |
parent | 17285895dec47f4ca05590c861a7e8ef6f595c0c (diff) | |
parent | f8e612288f3a604ee1bd60016b7320f00b763e6b (diff) | |
download | RSAComb-2b0f0d0079484b00a1b788414ff1499282a86aeb.tar.gz RSAComb-2b0f0d0079484b00a1b788414ff1499282a86aeb.zip |
Merge branch 'master' into logger
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 | ||