From 19e29af10d114ffab5cf1535ae1256ec2b161015 Mon Sep 17 00:00:00 2001
From: jsteuer <jan.steuer.htw@gmail.com>
Date: Mon, 30 Sep 2019 07:18:39 +0200
Subject: [PATCH] docs
---
examples/example-ide/README.md | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/examples/example-ide/README.md b/examples/example-ide/README.md
index 8c3a3de..37dbf76 100644
--- a/examples/example-ide/README.md
+++ b/examples/example-ide/README.md
@@ -22,7 +22,7 @@
{
...
- "editor.external.definitions": [
+ "editor.external.declarations": [
...
{
"displayName": "MyEditor",
--
Gitblit v1.10.0-SNAPSHOT