From 9b055bc8571830cac4cee63106affdf422e0b9c6 Mon Sep 17 00:00:00 2001 From: Erich Gamma Date: Thu, 10 Dec 2015 15:40:00 +0100 Subject: [PATCH] Update CONTRIBUTING.md --- CONTRIBUTING.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 78406940080..d69eb74ded7 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -19,5 +19,5 @@ The more information you can provide, the more likely someone will be successful * Code that demonstrates the issue * Version of VS Code * Errors in the Dev Tools Console (Help | Toggle Developer Tools) -* When you have extensions installed, can you reproduce the issue when starting vscode without extensions by using `--disable-extensions`? +* When you have extensions installed, can you reproduce the issue when starting vscode without extensions by using the `--disable-extensions` command line argument?