Öffentliche API zur MathCoach-IDE
jsteuer
2019-09-30 19e29af10d114ffab5cf1535ae1256ec2b161015
examples/example-ide/README.md
@@ -22,7 +22,7 @@
        {
            ...
            "editor.external.definitions": [
            "editor.external.declarations": [
                ...
                {
                    "displayName": "MyEditor",