From ebe82f6834a489b4460195dd0f809b17ab44d3e3 Mon Sep 17 00:00:00 2001 From: ni-richard Date: Sat, 14 Sep 2019 00:46:49 +0200 Subject: [PATCH] Updated ide.reload (markdown) --- ide.reload.md | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/ide.reload.md b/ide.reload.md index c38d298..345d50e 100644 --- a/ide.reload.md +++ b/ide.reload.md @@ -4,16 +4,10 @@ ```json { "key": "ide.reload", - "intent": "control", "scope": "websocket" } ``` *** -**Example**: -```json -{ - "key": "ide.reload" -} -``` \ No newline at end of file +**Example**: Same as above, does not have additional parameters. \ No newline at end of file