From 5e6f97aab7c05a7f38b0c1abee2ccdc2f6bfc83a Mon Sep 17 00:00:00 2001 From: Jakob Odersky Date: Thu, 10 Aug 2017 14:16:13 -0700 Subject: Use AuthUserInfo --- project/build.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'project') diff --git a/project/build.properties b/project/build.properties index 6561361..3507256 100644 --- a/project/build.properties +++ b/project/build.properties @@ -1,4 +1,4 @@ #Activator-generated Properties #Wed Jul 06 16:08:49 PDT 2016 template.uuid=a675a7df-bee3-48df-9eaa-688d99e5814e -sbt.version=0.13.15 +sbt.version=0.13.16 -- cgit v1.2.3