From c3539d9f3c153802651291c12fc9d4e769e91566 Mon Sep 17 00:00:00 2001 From: Nicolas Stucki Date: Wed, 17 May 2017 11:33:03 +0200 Subject: [PATCH] Update Scastie link to start with Dotty enabled --- docs/_includes/getting-started.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/_includes/getting-started.html b/docs/_includes/getting-started.html index 39e9ec2b4fa4..f2c318183751 100644 --- a/docs/_includes/getting-started.html +++ b/docs/_includes/getting-started.html @@ -2,7 +2,7 @@

Try Dotty

-

Try it in your browser with Scastie by changing the target to Dotty in the Build Settings.

+

Try it in your browser with Scastie.

Create a Dotty Project