diff --git a/.gitignore b/.gitignore
index 9b410116..62bbc6c7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,6 +5,7 @@
 **/classes_gen/*
 **/classes_jchr/*
 .mps/workspace.xml
+.mps/shelf/*
 .idea/workspace.xml
 .gradle
 out