From 632a6286a3c9718290aa87f8c718b35b2c1063a4 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Wed, 7 Jul 2021 12:36:07 +0200
Subject: [PATCH] Update site

---
 updatePlugins.xml | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 updatePlugins.xml

diff --git a/updatePlugins.xml b/updatePlugins.xml
new file mode 100644
index 00000000..d2f09adc
--- /dev/null
+++ b/updatePlugins.xml
@@ -0,0 +1,10 @@
+<plugins>
+    <plugin id='jetbrains.mps.coderules' url='https://github.com/JetBrains/mps-coderules/releases/download/v211-0.9-b192/jetbrains.mps.coderules-211-0.9-b192.zip' version='211-0.9-b192'>
+        <name>MPS Coderules Typechecking</name>
+        <description>Typechecking with Coderules (experimental)</description>
+    </plugin>
+    <plugin id='jetbrains.mps.core.types' url='https://github.com/JetBrains/mps-coderules/releases/download/v211-0.9-b192/jetbrains.mps.core.types-211-0.9-b192.zip' version='211-0.9-b192'>
+        <name>MPS Core Types</name>
+        <description>Types for core MPS languages (experimental)</description>
+    </plugin>
+</plugins>