From 17fe9273f10e70c0b5c0399a78e067f7fba4ed81 Mon Sep 17 00:00:00 2001 From: Swapnil Bangare Date: Sun, 25 Nov 2018 06:53:07 +0530 Subject: [PATCH] Add option for Developer tools inside browsers (#22708) As developer tools are used extensively by front-end developers, it's nice to hint readers that this guide also contains information about developer tools of browsers such as chrome, firefox and edge. --- guide/english/developer-tools/index.md | 1 + 1 file changed, 1 insertion(+) diff --git a/guide/english/developer-tools/index.md b/guide/english/developer-tools/index.md index 6fe06d754a..960b278c47 100644 --- a/guide/english/developer-tools/index.md +++ b/guide/english/developer-tools/index.md @@ -10,3 +10,4 @@ Some examples of these tools: - DevOps tools - Build tools - Package managers +- Developer tools in browsers