From cef06eac6b9154f14c35dc49e61fea0f1c263853 Mon Sep 17 00:00:00 2001 From: Swapnil Bangare Date: Thu, 8 Aug 2019 10:18:59 +0530 Subject: [PATCH] Add option for Developer tools inside browsers (#22730) 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/spanish/developer-tools/index.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/guide/spanish/developer-tools/index.md b/guide/spanish/developer-tools/index.md index 32e476f54a..f1c63a120d 100644 --- a/guide/spanish/developer-tools/index.md +++ b/guide/spanish/developer-tools/index.md @@ -11,4 +11,5 @@ Algunos ejemplos de estas herramientas: * Sistemas de control de versiones * Herramientas devOps * Construir herramientas -* Gestores de paquetes \ No newline at end of file +* Gestores de paquetes +* Herramientas de desarrollador en los navegadores