diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2017-04-10 20:10:12 +0200 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2017-04-10 20:10:12 +0200 |
commit | 1876e5533f1737efa1c940b958b359854592de1d (patch) | |
tree | cf5ec5f339aaeeb21ce4eb6d5bbb1115706ba2d7 /project | |
parent | 318700fdaacd7e6707519e03f15a5ede99ca558a (diff) | |
download | dotty-1876e5533f1737efa1c940b958b359854592de1d.tar.gz dotty-1876e5533f1737efa1c940b958b359854592de1d.tar.bz2 dotty-1876e5533f1737efa1c940b958b359854592de1d.zip |
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 |