From 22e86bbb89abd94f6d4eea3d8e100479826cde96 Mon Sep 17 00:00:00 2001
From: Grigorii Kirgizov <grigorii.kirgizov@jetbrains.com>
Date: Thu, 22 Aug 2019 16:07:24 +0300
Subject: [PATCH] upd .gitignore

---
 .gitignore                              | 2 ++
 .mps/dictionaries/grigorii_kirgizov.xml | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/.gitignore b/.gitignore
index d5b7fc9d..d8d46817 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,10 +4,12 @@
 **/test_gen.caches/*
 **/classes_gen/*
 **/classes_jchr/*
+**/.mps/dictionaries/*
 **/.mps/workspace.xml
 **/.mps/shelf/*
 **/.idea/workspace.xml
 **/lib/*
+**/.DS_Store
 .gradle
 out
 build/*
diff --git a/.mps/dictionaries/grigorii_kirgizov.xml b/.mps/dictionaries/grigorii_kirgizov.xml
index 7a1c9df1..163b3ee9 100644
--- a/.mps/dictionaries/grigorii_kirgizov.xml
+++ b/.mps/dictionaries/grigorii_kirgizov.xml
@@ -2,9 +2,11 @@
   <dictionary name="grigorii.kirgizov">
     <words>
       <w>arg</w>
+      <w>coderules</w>
       <w>incrementality</w>
       <w>logicals</w>
       <w>symmetricity</w>
+      <w>typechecking</w>
       <w>unifications</w>
     </words>
   </dictionary>