diff options
| author | Vlad Ureche <vlad.ureche@gmail.com> | 2014-01-23 21:24:57 +0100 |
|---|---|---|
| committer | Vlad Ureche <vlad.ureche@gmail.com> | 2014-01-23 21:40:58 +0100 |
| commit | e41f4fdd0efd9b19d5363def8ecb057fc6326d57 (patch) | |
| tree | 619f6dc7f8e57b8c3978da505550c34e55ce40f1 /project/build.properties | |
| parent | 0e8d0bb1fbe557665f4db9edcd51dc4c49a7ae15 (diff) | |
| download | dotty-e41f4fdd0efd9b19d5363def8ecb057fc6326d57.tar.gz dotty-e41f4fdd0efd9b19d5363def8ecb057fc6326d57.tar.bz2 dotty-e41f4fdd0efd9b19d5363def8ecb057fc6326d57.zip | |
Build infrastructure
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 66ad72ce2..0974fce44 100644 --- a/project/build.properties +++ b/project/build.properties @@ -1 +1 @@ -sbt.version=0.12.2 +sbt.version=0.13.0 |