diff options
author | Jakob Odersky <jodersky@gmail.com> | 2014-09-30 08:57:29 +0200 |
---|---|---|
committer | Jakob Odersky <jodersky@gmail.com> | 2014-09-30 08:57:29 +0200 |
commit | 8ec08695eade13b053caa6bd103065a056cdf179 (patch) | |
tree | 9ce23ab688b4a469ecf40d4b1c31a848ed7dca64 /project/build.properties | |
download | mavigator-8ec08695eade13b053caa6bd103065a056cdf179.tar.gz mavigator-8ec08695eade13b053caa6bd103065a056cdf179.tar.bz2 mavigator-8ec08695eade13b053caa6bd103065a056cdf179.zip |
initial commit
Diffstat (limited to 'project/build.properties')
-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..be6c454 --- /dev/null +++ b/project/build.properties @@ -0,0 +1 @@ +sbt.version=0.13.5 |