From f01dfd10a5666b10038c2d75722f43a8fb785124 Mon Sep 17 00:00:00 2001 From: Seth Tisue Date: Thu, 2 Jun 2022 06:54:35 +0100 Subject: [PATCH 1/2] fix CI by removing dead link --- _posts/2017-12-01-fifth-dotty-milestone-release.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2017-12-01-fifth-dotty-milestone-release.md b/_posts/2017-12-01-fifth-dotty-milestone-release.md index 0736fcd1c..5d5033321 100644 --- a/_posts/2017-12-01-fifth-dotty-milestone-release.md +++ b/_posts/2017-12-01-fifth-dotty-milestone-release.md @@ -136,7 +136,7 @@ using Dotty with sbt, see the ### IDE support It is very easy to start using the Dotty IDE in any Dotty project by following -the [IDE guide](https://dotty.epfl.ch/docs/usage/ide-support.html). +the IDE guide (EDIT: dead link). ### Standalone installation From 5ce12f6d3ea2354ceaadf1fc9de4b892782b8913 Mon Sep 17 00:00:00 2001 From: Seth Tisue Date: Thu, 2 Jun 2022 08:27:09 +0100 Subject: [PATCH 2/2] revise in response to review feedback --- _posts/2017-12-01-fifth-dotty-milestone-release.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/_posts/2017-12-01-fifth-dotty-milestone-release.md b/_posts/2017-12-01-fifth-dotty-milestone-release.md index 5d5033321..e0e4be59c 100644 --- a/_posts/2017-12-01-fifth-dotty-milestone-release.md +++ b/_posts/2017-12-01-fifth-dotty-milestone-release.md @@ -135,9 +135,8 @@ using Dotty with sbt, see the [example project](https://github.com/lampepfl/dotty-example-project). ### IDE support -It is very easy to start using the Dotty IDE in any Dotty project by following -the IDE guide (EDIT: dead link). - +It is very easy to start using an IDE in any Dotty project by following +the IDE sections of the getting-started page. ### Standalone installation Releases are available for download on the _Releases_