From ef73394c3c8554719412c3bf763e2f8c90ffed56 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Thu, 1 Jul 2021 23:54:32 +0200
Subject: Material UI theming WIP

---
 language-web/package.json | 1 +
 1 file changed, 1 insertion(+)

(limited to 'language-web/package.json')

diff --git a/language-web/package.json b/language-web/package.json
index e8d0a32f..7ebe40d3 100644
--- a/language-web/package.json
+++ b/language-web/package.json
@@ -41,6 +41,7 @@
   "dependencies": {
     "@material-ui/core": "^4.11.4",
     "@material-ui/icons": "^4.11.2",
+    "@material-ui/lab": "^4.0.0-alpha.58",
     "codemirror": "^5.62.0",
     "jquery": "^3.6.0",
     "mobx": "^6.3.2",
-- 
cgit v1.2.3-54-g00ecf