From b7d6b15de8a50e740d7121e16b77ab3e74c27320 Mon Sep 17 00:00:00 2001 From: Jakob Odersky Date: Thu, 27 Apr 2017 15:31:05 -0700 Subject: Initial commit --- project/build.properties | 1 + 1 file changed, 1 insertion(+) create mode 100644 project/build.properties (limited to 'project') diff --git a/project/build.properties b/project/build.properties new file mode 100644 index 0000000..5f32afe --- /dev/null +++ b/project/build.properties @@ -0,0 +1 @@ +sbt.version=0.13.13 \ No newline at end of file -- cgit v1.2.3