From ea464a0ca4d112bff58450cc2fe31d08bccf0c84 Mon Sep 17 00:00:00 2001 From: Mayank Khare Date: Mon, 11 Feb 2019 08:46:59 +0530 Subject: [PATCH] update index.md (#27221) --- guide/english/developer-tools/index.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/guide/english/developer-tools/index.md b/guide/english/developer-tools/index.md index 960b278c47..ce6ae5e271 100644 --- a/guide/english/developer-tools/index.md +++ b/guide/english/developer-tools/index.md @@ -3,7 +3,9 @@ title: Developer Tools --- ## Developer Tools -In this section, we'll explain a wide variety of tools used by developers. Many of them are free or open sourced! +Developer tools allow web developers to test and debug their code. They are different from website builders and integrated development environments in that they do not assist in the direct creation of a webpage, rather they are tools used for testing the user interface of a website or web application. + +In this section, we'll explain a wide variety of tools used by developers. Some examples of these tools: - Version control systems