Updated ide.read (markdown)

ni-richard 2019-09-14 10:34:45 +02:00
parent 7edb7119cd
commit 16fa398db4

@ -21,6 +21,8 @@
```json
{
"key": "ide.read",
"intent": "control",
"scope": "zmq",
"filename": "main.c"
}
```
@ -48,6 +50,7 @@
```json
{
"key": "ide.read",
"scope": "webservice",
"filename": "main.c",
"files": ["/home/main.c", "/home/not_main.c"],
"content": "#include <stdio.h>..."