From f0c55baab7b82b46630c4238a022e81c7b94d198 Mon Sep 17 00:00:00 2001 From: LeviDing Date: Thu, 15 Oct 2020 13:16:32 +0800 Subject: [PATCH] FIX: change ; to , --- 1-js/01-getting-started/4-devtools/article.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/1-js/01-getting-started/4-devtools/article.md b/1-js/01-getting-started/4-devtools/article.md index 50926d4f..08aeaf98 100644 --- a/1-js/01-getting-started/4-devtools/article.md +++ b/1-js/01-getting-started/4-devtools/article.md @@ -8,7 +8,7 @@ To see errors and get a lot of other useful information about scripts, "develope Most developers lean towards Chrome or Firefox for development because those browsers have the best developer tools. Other browsers also provide developer tools, sometimes with special features, but are usually playing "catch-up" to Chrome or Firefox. So most developers have a "favorite" browser and switch to others if a problem is browser-specific. -Developer tools are potent; they have many features. To start, we'll learn how to open them, look at errors, and run JavaScript commands. +Developer tools are potent, they have many features. To start, we'll learn how to open them, look at errors, and run JavaScript commands. ## Google Chrome