diff options
author | Jakob Odersky <jakob@odersky.com> | 2016-10-11 01:08:14 -0700 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2016-10-11 01:08:14 -0700 |
commit | 7ab87deaa91bd19527da2c72937b1e2d1a97ef12 (patch) | |
tree | 5846934da9697498eb7c93f5c6679739870ae5c8 /project | |
download | ghstream-master.tar.gz ghstream-master.tar.bz2 ghstream-master.zip |
Diffstat (limited to 'project')
-rw-r--r-- | project/build.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/project/build.properties b/project/build.properties new file mode 100644 index 0000000..35c88ba --- /dev/null +++ b/project/build.properties @@ -0,0 +1 @@ +sbt.version=0.13.12 |