From e9b8d6db80a72ade0d6e8c6251dd13a60b5ea7f7 Mon Sep 17 00:00:00 2001
From: Kirill Rakhman <kirill.rakhman@jetbrains.com>
Date: Mon, 16 Jan 2023 10:36:33 +0100
Subject: [PATCH] Add words to dictionary

---
 .idea/dictionaries/Kirill.xml | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 .idea/dictionaries/Kirill.xml

diff --git a/.idea/dictionaries/Kirill.xml b/.idea/dictionaries/Kirill.xml
new file mode 100644
index 00000000000..f136f75ded4
--- /dev/null
+++ b/.idea/dictionaries/Kirill.xml
@@ -0,0 +1,8 @@
+<component name="ProjectDictionaryState">
+  <dictionary name="Kirill">
+    <words>
+      <w>desugared</w>
+      <w>desugaring</w>
+    </words>
+  </dictionary>
+</component>
\ No newline at end of file