Updated frontend.ide (markdown)

therealkrispet 2019-11-18 10:54:02 +01:00
parent 1bb21d73f0
commit c30a8d1fbc

@ -3,8 +3,7 @@
```json ```json
{ {
"key": "frontend.ide", "key": "frontend.ide"
"scope": "websocket"
} }
``` ```
@ -20,7 +19,6 @@
```json ```json
{ {
"key": "frontend.ide", "key": "frontend.ide",
"scope": "websocket",
"showDeployButton": true "showDeployButton": true
} }
``` ```