diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-04-10 21:58:09 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-10 21:58:09 +0200 |
commit | 0bd782195b7bcaa2d270b6306fd02c8a649822e9 (patch) | |
tree | cf5ec5f339aaeeb21ce4eb6d5bbb1115706ba2d7 /project | |
parent | 318700fdaacd7e6707519e03f15a5ede99ca558a (diff) | |
parent | 1876e5533f1737efa1c940b958b359854592de1d (diff) | |
download | dotty-0bd782195b7bcaa2d270b6306fd02c8a649822e9.tar.gz dotty-0bd782195b7bcaa2d270b6306fd02c8a649822e9.tar.bz2 dotty-0bd782195b7bcaa2d270b6306fd02c8a649822e9.zip |
Merge pull request #2217 from dotty-staging/upgrade/sbt0.13.15
Upgrade to sbt 0.13.15
Diffstat (limited to 'project')
-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 866eb2660..64317fdae 100644 --- a/project/build.properties +++ b/project/build.properties @@ -1 +1 @@ -sbt.version=0.13.14-RC2 +sbt.version=0.13.15 |