diff options
| author | Jason Zaugg <jzaugg@gmail.com> | 2012-12-19 15:59:07 +0100 |
|---|---|---|
| committer | Jason Zaugg <jzaugg@gmail.com> | 2013-02-10 15:10:31 +0100 |
| commit | 0280306d7fb9e78a57f5e1c4848bfbbbba3847d9 (patch) | |
| tree | bfdf9b54d10fe6800a9020e06ab243b0f1e9553b /project/build.properties | |
| parent | 25e09861e097b8db659ba1fc2d103e540db86a22 (diff) | |
| download | dotty-0280306d7fb9e78a57f5e1c4848bfbbbba3847d9.tar.gz dotty-0280306d7fb9e78a57f5e1c4848bfbbbba3847d9.tar.bz2 dotty-0280306d7fb9e78a57f5e1c4848bfbbbba3847d9.zip | |
Add SBT build, .gitignore.
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 000000000..66ad72ce2 --- /dev/null +++ b/project/build.properties @@ -0,0 +1 @@ +sbt.version=0.12.2 |