From fdf2579fca0a1cfe142465c7994956ccbe55197d Mon Sep 17 00:00:00 2001 From: Pankaj Bangare <44541585+pankajbangare@users.noreply.github.com> Date: Thu, 17 Jan 2019 08:38:24 +0530 Subject: [PATCH] Add more information about developer tools (#31662) --- .../internet-explorer-developer-tools/index.md | 1 + 1 file changed, 1 insertion(+) diff --git a/guide/english/developer-tools/developer-tools-in-browsers/internet-explorer-developer-tools/index.md b/guide/english/developer-tools/developer-tools-in-browsers/internet-explorer-developer-tools/index.md index e96cbe26d4..4876873e3d 100644 --- a/guide/english/developer-tools/developer-tools-in-browsers/internet-explorer-developer-tools/index.md +++ b/guide/english/developer-tools/developer-tools-in-browsers/internet-explorer-developer-tools/index.md @@ -11,5 +11,6 @@ This is a stub.