From 93a55cb4c12bef0e754dfaeb142256bc59aa55a7 Mon Sep 17 00:00:00 2001 From: Akos Kitta <1405703+kittaakos@users.noreply.github.com> Date: Fri, 11 Aug 2023 10:12:36 +0200 Subject: [PATCH] Update docs/development.md Co-authored-by: per1234 --- docs/development.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/development.md b/docs/development.md index 85d7d950c..fbf499468 100644 --- a/docs/development.md +++ b/docs/development.md @@ -57,7 +57,7 @@ Please refer to the [Theia IDE prerequisites](https://github.com/eclipse-theia/t Once you have all the tools installed, you can build the editor following these steps -If you want to develop the application, do the followings: +If you want to develop the application, do the following: 1. Install the dependencies