diff options
| author | Jakob Odersky <jodersky@gmail.com> | 2015-12-22 14:52:11 +0100 |
|---|---|---|
| committer | Jakob Odersky <jodersky@gmail.com> | 2015-12-22 14:52:11 +0100 |
| commit | c77bf21e7f4c197d34d23b2aebe5953a75d099e2 (patch) | |
| tree | d115e09e2ba599eb491d961b3409dce11936b49e /project/build.properties | |
| parent | 58daf3b0559d4facbb09fcc375a0b3d4ff9010cf (diff) | |
| download | mavigator-c77bf21e7f4c197d34d23b2aebe5953a75d099e2.tar.gz mavigator-c77bf21e7f4c197d34d23b2aebe5953a75d099e2.tar.bz2 mavigator-c77bf21e7f4c197d34d23b2aebe5953a75d099e2.zip | |
Update versions and build confuguration
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 a6e117b..817bc38 100644 --- a/project/build.properties +++ b/project/build.properties @@ -1 +1 @@ -sbt.version=0.13.8 +sbt.version=0.13.9 |