Merge pull request #975 from JetBrains/bugfix/remove_unnecessary_plug…

…in_dependency
JetBrains · Oct 10, 2024 · d2c64a4 · d2c64a4
2 parents 456962d + eb8efd2
commit d2c64a4
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/.../build/solutions/de.itemis.mps.extensions.build/models/de.itemis.mps.extensions.build.mps b/.../build/solutions/de.itemis.mps.extensions.build/models/de.itemis.mps.extensions.build.mps
@@ -9712,9 +9712,6 @@
           <property role="3MwjfP" value="Enhancements for the MPS spell checker" />
         </node>
       </node>
-      <node concept="m$_yC" id="5Jv8_iJO2NL" role="m$_yJ">
-        <ref role="m$_y1" to="ffeo:4O0hKJpjIV3" resolve="jetbrains.mps.ide.devkit" />
-      </node>
       <node concept="m$_yC" id="5Jv8_iJO3bn" role="m$_yJ">
         <ref role="m$_y1" to="ffeo:3SKb_4Jujh$" resolve="jetbrains.mps.editor.spellcheck" />
       </node>