From 70354921a7189371e9712899ece576b44cb624f4 Mon Sep 17 00:00:00 2001
From: Edgar Mueller <emueller@eclipsesource.com>
Date: Thu, 30 Aug 2018 23:54:54 +0200
Subject: [PATCH] Fix theia version to 0.3.13

---
 package.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/package.json b/package.json
index ec2dc37..e85b8e7 100644
--- a/package.json
+++ b/package.json
@@ -11,9 +11,9 @@
   "dependencies": {
     "@jsonforms/core": "^2.0.8",
     "@jsonforms/material-tree-renderer": "^2.0.11",
-    "@theia/core": "latest",
-    "@theia/editor": "latest",
-    "@theia/filesystem": "latest",
+    "@theia/core": "0.3.13",
+    "@theia/editor": "0.3.13",
+    "@theia/filesystem": "0.3.13",
     "react": "^16.4.0",
     "react-dom": "^16.4.0",
     "react-redux": "^4.4.9",